at.logic.gapt.testing.RegressionTestCase
Results of running a single regression test case.
JUnit XML result file describing this test run.
JUnit XML result file describing this test run. The format is compatible with Jenkins.
Results of running a single regression test case.