Clover Test Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
 
Class Tests Fail Error % Tests Success
ProofFinderImplTest 3 3 0 0 0 0 66.611 100%
 
Tests Started Status Message
ProofFinderImplTest.testFind2ProofFinderImplTest.testFind2 139233225269713 Feb 22:57:32 1 PASS 50.2750.27  
ProofFinderImplTest.testFind3ProofFinderImplTest.testFind3 139233230297713 Feb 22:58:22 1 PASS 0.3010.301  
ProofFinderImplTest.testFindProofFinderImplTest.testFind 139233223653013 Feb 22:57:16 1 PASS 16.0416.04