Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Class Tests Fail Error % Tests Success
SimpleProofFinderPluginTest 3 3 0 0 0 0 554.159 100%
 
Tests Started Status Message
SimpleProofFinderPluginTest.testPlugin2SimpleProofFinderPluginTest.testPlugin2 139236238395014 Feb 07:19:43 1 PASS 175.436175.436  
SimpleProofFinderPluginTest.testPluginSimpleProofFinderPluginTest.testPlugin 139236220730114 Feb 07:16:47 1 PASS 176.62176.62  
SimpleProofFinderPluginTest.testPluginFastSimpleProofFinderPluginTest.testPluginFast 139236255939714 Feb 07:22:39 1 PASS 202.103202.103