At the moment to register a callback one, have to call the appropriate method of the CallbackManager object,
either through:
- the
SymbolicExecutor with se.cbm
- the
SymbolicExplorator with dse.callback_manager
From a user API perspective it would be better to directly calling the write registration function directly on the SymbolicExecutor or the SymbolicExplorator.
What to do: Write an interface class and making SymbolicExecutor and SymbolicExplorator to implement. it.
At the moment to register a callback one, have to call the appropriate method of the
CallbackManagerobject,either through:
SymbolicExecutorwithse.cbmSymbolicExploratorwithdse.callback_managerFrom a user API perspective it would be better to directly calling the write registration function directly on the
SymbolicExecutoror theSymbolicExplorator.What to do: Write an interface class and making SymbolicExecutor and SymbolicExplorator to implement. it.