Clover Coverage Report
Coverage timestamp: Sa Aug 2 2008 13:56:27 CEST
52   1.175   41   1,41
16   314   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