Clover Test Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
 
Class Tests Fail Error % Tests Success
ProofCheckerTest 3 3 0 0 0 0 2.983 100%
 
Tests Started Status Message
ProofCheckerTest.testCheck4ProofCheckerTest.testCheck4 139233223340513 Feb 22:57:13 1 PASS 0.5050.505  
ProofCheckerTest.testCheck6ProofCheckerTest.testCheck6 139233223392813 Feb 22:57:13 1 PASS 0.4130.413  
ProofCheckerTest.testCheck1ProofCheckerTest.testCheck1 139233223130213 Feb 22:57:11 1 PASS 2.0652.065