Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: So Mrz 11 2007 07:05:19 CET
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 1.887   Methods: 54
NCLOC: 798   Classes: 16
Files: 16  
 
 Package Conditionals Statements Methods TOTAL
org.qedeq.kernel.bo.logic 68,1% 72,7% 55,6% 69,7%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
EqualFormula - 0% 0% 0%
coverage
EqualFormulaSet 0% 0% 0% 0%
coverage
LogicalEquivalence 0% 0% 0% 0%
coverage
ElementCheckException - 50% 50% 50%
coverage coverage
FormulaCheckException - 50% 50% 50%
coverage coverage
TermCheckException - 50% 50% 50%
coverage coverage
LogicalCheckException - 66,7% 75% 70%
coverage coverage
FormulaChecker 92,4% 95,8% 100% 94,9%
coverage coverage
EverythingExists - 100% 100% 100%
coverage
 
CloverReport generated by Clover Code Coverage v1.3.10
So Mrz 11 2007 08:01:23 CET.		   Open Source License registered to the Hilbert II Project. This license of Clover is provided to support the development of Hilbert II only.