at.logic.gapt.testing.RegressionTestCase
Verify that block returns true.
Verify that block returns true. Exceptions thrown in block are ignored (but still recorded in the test run).
Name of the step