Clover Test Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
 
Package Tests Fail Error % Pass
org.qedeq.kernel.bo.logic.wf 12 12 0 0 0 0 9.47 100%
 
Test Classes Tests Fail Error % Pass
FormulaCheckerContextTestFormulaCheckerContextTest 12 12 0 0 0 0 9.479.47 1.0100% 1.0