Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Class Tests Fail Error % Tests Success
ProofCheckerFactoryImplTest 1 1 0 0 0 0 0.026 100%
 
Tests Started Status Message
ProofCheckerFactoryImplTest.testCreateFormulaCheckerProofCheckerFactoryImplTest.testCreateFormulaChecker 139234260887814 Feb 01:50:08 1 PASS 0.0260.026