Package org.btrplace.safeplace.testing.verification.spec
-
Class Summary Class Description Context ReconfigurationSimulator Simulate a reconfiguration by executing its action over a context.SpecMapping SpecVerifier
Class | Description |
---|---|
Context | |
ReconfigurationSimulator |
Simulate a reconfiguration by executing its action over a context.
|
SpecMapping | |
SpecVerifier |