Clover Test Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
 
Class Tests Fail Error % Tests Success
FormalProofCheckerPluginTest 5 5 0 0 0 0 5.628 100%
 
Tests Started Status Message
FormalProofCheckerPluginTest.testPluginFormalProofCheckerPluginTest.testPlugin 139234227215214 Feb 01:44:32 1 PASS 0.8520.852  
FormalProofCheckerPluginTest.testPlugin4FormalProofCheckerPluginTest.testPlugin4 139234227689514 Feb 01:44:36 1 PASS 0.8640.864  
FormalProofCheckerPluginTest.testProof_003FormalProofCheckerPluginTest.testProof_003 139234227776614 Feb 01:44:37 1 PASS 0.060.06  
FormalProofCheckerPluginTest.testPlugin3FormalProofCheckerPluginTest.testPlugin3 139234227443014 Feb 01:44:34 1 PASS 2.4552.455  
FormalProofCheckerPluginTest.testPlugin2FormalProofCheckerPluginTest.testPlugin2 139234227301614 Feb 01:44:33 1 PASS 1.3971.397