de.uka.ilkd.key.smt.testgen

Interfaces

• StopRequest
• TestGenerationLog

Classes

• AbstractTestGenerator
• MemoryTestGenerationLog