| Package | Description |
|---|---|
| de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies | |
| de.rwth.i2.attestor.stateSpaceGeneration |
A generic model of a state space and state space generation.
|
| Modifier and Type | Method and Description |
|---|---|
void |
NoAbortStrategy.checkAbort(StateSpace stateSpace) |
void |
StateSpaceBoundedAbortStrategy.checkAbort(StateSpace stateSpace) |
| Modifier and Type | Method and Description |
|---|---|
void |
AbortStrategy.checkAbort(StateSpace stateSpace)
Checks whether further states may be generated.
|
StateSpace |
StateSpaceGenerator.generate()
Attempts to generate a StateSpace according to the
underlying analysis.
|
Copyright © 2018. All rights reserved.