de.uka.ilkd.key.symbolic_execution.strategy

Classes

• AbstractCallStackBasedStopCondition
• AbstractCallStackBasedStopCondition.NodeStartEntry
• BreakpointStopCondition
• CompoundStopCondition
• CutHeapObjectsFeature
• CutHeapObjectsTermGenerator
• ExecutedSymbolicExecutionTreeNodesStopCondition
• SimplifyTermStrategy
• SimplifyTermStrategy.Factory
• StepOverSymbolicExecutionTreeNodesStopCondition
• StepReturnSymbolicExecutionTreeNodesStopCondition
• SymbolicExecutionBreakpointStopCondition
• SymbolicExecutionGoalChooser
• SymbolicExecutionGoalChooserBuilder
• SymbolicExecutionStrategy
• SymbolicExecutionStrategy.Factory