Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
939   2,604   268   15.92
364   1,986   0.29   11.8
59   5   4.54  
5    
 
 Package
Cloud icon for org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.checker 5.0 5 4.5423727 4.54 0.5506608 55.1% 0.5506608
 
 Class
ProofChecker2Impl ProofChecker2Impl 34.0 34 4.882353 4.88 0.4456929 44.6% 0.4456929
ProofCheckException ProofCheckException 3.0 3 1.0 1 0.6666667 66.7% 0.6666667
ProofChecker0Impl ProofChecker0Impl 3.0 3 1.0 1 0.7 70% 0.7
ProofChecker1Impl ProofChecker1Impl 19.0 19 5.0526314 5.05 0.7009174 70.1% 0.7009174