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 2 2 0 0 0 0 0.127 100%
 
Test Classes Tests Fail Error % Pass
FormulaCheckerFactoryImplTestFormulaCheckerFactoryImplTest 1 1 0 0 0 0 0.0150.015 1.0100% 1.0
ProofCheckerFactoryImplTestProofCheckerFactoryImplTest 1 1 0 0 0 0 0.1120.112 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 .