Clover Coverage Report
Coverage timestamp: Sat Sep 18 2010 04:09:52 UTC
52   1,130   41   1.41
16   316   0.79   2.31
37   16   1.11  
16    
 
 Package
Cloud icon for org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.logic.wf 16.0 16 1.1081082 1.11 0.6 60% 0.6
 
 Class
LogicalCheckException LogicalCheckException 4.0 4 1.0 1 0.3 30% 0.3
LogicalCheckExceptionList LogicalCheckExceptionList 6.0 6 1.3333334 1.33 0.4090909 40.9% 0.4090909
ElementCheckException ElementCheckException 2.0 2 1.0 1 0.5 50% 0.5
FormulaCheckException FormulaCheckException 2.0 2 1.0 1 0.5 50% 0.5
TermCheckException TermCheckException 2.0 2 1.0 1 0.5 50% 0.5
Function Function 6.0 6 1.1666666 1.17 0.72727275 72.7% 0.72727275
Predicate Predicate 6.0 6 1.1666666 1.17 0.72727275 72.7% 0.72727275
EverythingExists EverythingExists 9.0 9 1.0 1 0.7647059 76.5% 0.7647059