Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Package Tests Fail Error % Pass
org.qedeq.kernel.bo.logic 2 2 0 0 0 0 0.056 100%
 
Test Classes Tests Fail Error % Pass
FormulaCheckerFactoryImplTestFormulaCheckerFactoryImplTest 1 1 0 0 0 0 0.030.03 1.0100% 1.0
ProofCheckerFactoryImplTestProofCheckerFactoryImplTest 1 1 0 0 0 0 0.0260.026 1.0100% 1.0