Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: Sa Okt 21 2006 08:24:31 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 722   Methods: 28
NCLOC: 348   Classes: 5
Files: 5  
 
 Package Conditionals Statements Methods TOTAL
org.qedeq.kernel.bo.logic 0% 0% 0% 0%
coverage
 
 Classes Conditionals Statements Methods TOTAL
CheckException - 0% 0% 0%
coverage
EqualFormula - 0% 0% 0%
coverage
EqualFormulaSet 0% 0% 0% 0%
coverage
FormulaChecker 0% 0% 0% 0%
coverage
LogicalEquivalence 0% 0% 0% 0%
coverage
 
CloverReport generated by Clover Code Coverage v1.3.10
Sa Okt 21 2006 08:30:13 CEST.		   Open Source License registered to the Hilbert II Project. This license of Clover is provided to support the development of Hilbert II only.