Clover Test Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
App    Test    Results    Clouds   
Overview    Package    File    Test
    FRAMES   NO FRAMES     
 
Package Tests Fail Error % Pass
org.qedeq.kernel.bo.logic.wf 12 12 0 0 0 0 7.579 100%
 
Test Classes Tests Fail Error % Pass
FormulaCheckerContextTestFormulaCheckerContextTest 12 12 0 0 0 0 7.5797.579 1.0100% 1.0
 
CloverReport generated by Clover Code Coverage v3.1.10
Fri May 24 2013 13:47:32 UTC.		   Clover: Open Source License registered to qedeq.org .