Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
330   1,087   131   5.5
140   662   0.4   8.57
60   5   2.18  
7    
 
 Package
Cloud icon for org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.proof.finder 5.0 5 2.1833334 2.18 0.7075472 70.8% 0.7075472
 
 Class
SubstPredBo SubstPredBo 12.0 12 1.25 1.25 0.26086956 26.1% 0.26086956
ModusPonensBo ModusPonensBo 14.0 14 1.2857143 1.29 0.52 52% 0.52
ProofFinderImpl ProofFinderImpl 21.0 21 3.0952382 3.1 0.7147651 71.5% 0.7147651
ProofFinderImpl.SubstituteBase ProofFinderImpl.SubstituteBase 6.0 6 1.5 1.5 0.8518519 85.2% 0.8518519
ProofFinderUtility ProofFinderUtility 7.0 7 3.4285715 3.43 0.9266055 92.7% 0.9266055