Perform the actual testing; to be implemented by subclasses.
Perform the actual testing; to be implemented by subclasses.
The results of this test run--how long it took, what steps have succeeded, whether an exception has been thrown--is saved in testRun. More fine-grained reporting can be enabled by using the operators StepBlock.---, StepBlock.--?, and StepCondition.!--.
The parameter testRun is implicit so that these operators can be used as binary operators without explicitly specifying the testRun.
Saves the results of this test run.
Name of this test case, e.g.
Name of this test case, e.g. "ALG-123".
Run this test case (in the same process).
Run this test case (in the same process).
Results of the test run.
Single regression test case, e.g. Prover9TestCase.ALG-123.
Subclasses only need to implement test().