Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
76   393   44   3.8
42   171   0.58   6.67
20   3   2.2  
3    
 
 Package
org.qedeq.kernel.bo.logic.work org.qedeq.kernel.bo.logic.work 3.0 3 2.2 2.2 0.0 0% 0.0
 
 Class
EqualFormula EqualFormula 2.0 2 1.0 1 0.0 0% 0.0
EqualFormulaSet EqualFormulaSet 16.0 16 2.0625 2.06 0.0 0% 0.0
LogicalEquivalence LogicalEquivalence 2.0 2 4.5 4.5 0.0 0% 0.0