Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
105   339   20   9.55
18   286   0.19   11
11   1   1.82  
1    
 
 Package
org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.checker 1.0 1 1.8181819 1.82 0.95522386 95.5% 0.95522386
 
 Class
ProofCheckerTest ProofCheckerTest 11.0 11 1.8181819 1.82 0.95522386 95.5% 0.95522386