Clover Test Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
 
Class Tests Fail Error % Tests Success
SimpleProofFinderPluginTest 3 3 0 0 0 0 158.374 100%
 
Tests Started Status Message
SimpleProofFinderPluginTest.testPluginSimpleProofFinderPluginTest.testPlugin 139234228304214 Feb 01:44:43 1 PASS 46.24446.244  
SimpleProofFinderPluginTest.testPluginFastSimpleProofFinderPluginTest.testPluginFast 139234237999114 Feb 01:46:19 1 PASS 61.47861.478  
SimpleProofFinderPluginTest.testPlugin2SimpleProofFinderPluginTest.testPlugin2 139234232930214 Feb 01:45:29 1 PASS 50.65250.652