invoke(CtExecutable> executable) Starts a symbolic evaluation by invoking a given executable and
constructs default symbolic instances for the parameters and the target
when needed.
void
reset() Resets the state of this symbolic evaluator.
Starts a symbolic evaluation by invoking a given static executable. Note
that symbolic evaluation may have several paths and thus several results.
In order to access the evaluation information, you need to use
SymbolicEvaluator.addObserver(SymbolicEvaluatorObserver) .
Parameters: executable - to be invoked symbolically Parameters: args - the arguments of the call (as symbolic instances)
Starts a symbolic evaluation by invoking a given executable. Note that
symbolic evaluation may have several paths and thus several results. In
order to access the evaluation information, you need to use
SymbolicEvaluator.addObserver(SymbolicEvaluatorObserver) .
Parameters: target - the target instance Parameters: executable - to be invoked Parameters: args - the arguments of the call (as symbolic instances)
Starts a symbolic evaluation by invoking a given executable and
constructs default symbolic instances for the parameters and the target
when needed. Note that symbolic evaluation may have several paths and
thus several results. In order to access the evaluation information, you
need to use
SymbolicEvaluator.addObserver(SymbolicEvaluatorObserver) .
Parameters: executable - to be invoked