at.logic.gapt
Single regression test case, e.g.
Single regression test case, e.g. Prover9TestCase.ALG-123.
Subclasses only need to implement test().
Runs a Scala closure in an external JVM, and returns the result (or exception, if thrown).