Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Class Tests Fail Error % Tests Success
ProofFinderImplTest 3 3 0 0 0 0 102.294 100%
 
Tests Started Status Message
ProofFinderImplTest.testFind2ProofFinderImplTest.testFind2 139234276292214 Feb 01:52:42 1 PASS 75.33375.333  
ProofFinderImplTest.testFindProofFinderImplTest.testFind 139234273620114 Feb 01:52:16 1 PASS 26.69626.696  
ProofFinderImplTest.testFind3ProofFinderImplTest.testFind3 139234283827614 Feb 01:53:58 1 PASS 0.2650.265