de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies
Classes
AdmissibleStateRectificationStrategy
AggressivePostProcessingStrategy
DepthFirstStateExplorationStrategy
FinalStateSubsumptionPostProcessingStrategy
NoAbortStrategy
NoCanonicalizationStrategy
NoMaterializationStrategy
NoPostProcessingStrategy
NoRectificationStrategy
NoStateCounter
NoStateLabelingStrategy
NoStateRefinementStrategy
StateSpaceBoundedAbortStrategy
TerminalStatementFinalStateStrategy