Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution.strategy |
Class and Description |
---|
AbstractCallStackBasedStopCondition
Provides the basic functionality for
StopCondition s which stops
the auto mode when the call stack size of the starting set node has
a special difference to the call stack size of the current set node, e.g. |
ExecutedSymbolicExecutionTreeNodesStopCondition
This
StopCondition stops the auto mode (ApplyStrategy ) if
a given number (ExecutedSymbolicExecutionTreeNodesStopCondition.getMaximalNumberOfSetNodesToExecutePerGoal() ) of maximal
executed symbolic execution tree nodes is reached in a goal. |
Copyright © 2003-2019 The KeY-Project.