Interface | Description |
---|---|
StopRequest | |
TestGenerationLog |
Class | Description |
---|---|
AbstractTestGenerator |
Implementations of this class are used generate test cases or a given
Proof . |
MemoryTestGenerationLog |
Implementation of
TestGenerationLog which stores the log in memory. |