Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
App   Test   Results   Clouds
Overview   Package   File
    FRAMES   NO FRAMES     
90   189   13   15
6   147   0.14   6
6   1   2.17  
1    
 
 Package
org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.proof.finder 1.0 1 2.1666667 2.17 0.9607843 96.1% 0.9607843
 
 Class
ProofFinderImplTest ProofFinderImplTest 6.0 6 2.1666667 2.17 0.9607843 96.1% 0.9607843
 
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 .