Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Class Tests Fail Error % Tests Success
FormalProofCheckerPluginTest 5 5 0 0 0 0 9.881 100%
 
Tests Started Status Message
FormalProofCheckerPluginTest.testPluginFormalProofCheckerPluginTest.testPlugin 139236219245214 Feb 07:16:32 1 PASS 1.21.2  
FormalProofCheckerPluginTest.testPlugin2FormalProofCheckerPluginTest.testPlugin2 139236219368514 Feb 07:16:33 1 PASS 2.1022.102  
FormalProofCheckerPluginTest.testPlugin4FormalProofCheckerPluginTest.testPlugin4 139236220120714 Feb 07:16:41 1 PASS 1.1351.135  
FormalProofCheckerPluginTest.testPlugin3FormalProofCheckerPluginTest.testPlugin3 139236219579814 Feb 07:16:35 1 PASS 5.4055.405  
FormalProofCheckerPluginTest.testProof_003FormalProofCheckerPluginTest.testProof_003 139236220234814 Feb 07:16:42 1 PASS 0.0390.039