Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Class Tests Fail Error % Tests Success
ProofCheckerTest 3 3 0 0 0 0 1.696 100%
 
Tests Started Status Message
ProofCheckerTest.testCheck6ProofCheckerTest.testCheck6 139234273498314 Feb 01:52:14 1 PASS 0.3510.351  
ProofCheckerTest.testCheck1ProofCheckerTest.testCheck1 139234273277414 Feb 01:52:12 1 PASS 0.9620.962  
ProofCheckerTest.testCheck4ProofCheckerTest.testCheck4 139234273443814 Feb 01:52:14 1 PASS 0.3830.383