Mon, 15 Nov 2010 22:23:28 +0100 | boehmes | renamed SMT failure: Abnormal_Termination is indeed more appropriate than Solver_Crashed | changeset | files |
Mon, 15 Nov 2010 22:23:26 +0100 | boehmes | honour timeouts which are not rounded to full seconds | changeset | files |
Mon, 15 Nov 2010 22:08:01 +0100 | blanchet | better error message | changeset | files |