| 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. |