Clover Test Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
 
Package Tests Fail Error % Pass
org.qedeq.kernel.bo.logic 2 2 0 0 0 0 0.05 100%
 
Test Classes Tests Fail Error % Pass
FormulaCheckerFactoryImplTestFormulaCheckerFactoryImplTest 1 1 0 0 0 0 0.0180.018 1.0100% 1.0
ProofCheckerFactoryImplTestProofCheckerFactoryImplTest 1 1 0 0 0 0 0.0320.032 1.0100% 1.0