Clover Test Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
 
Class Tests Fail Error % Tests Success
ProofCheckerFactoryImplTest 1 1 0 0 0 0 0.032 100%
 
Tests Started Status Message
ProofCheckerFactoryImplTest.testCreateFormulaCheckerProofCheckerFactoryImplTest.testCreateFormulaChecker 139233203750913 Feb 22:53:57 1 PASS 0.0320.032