Clover coverage report -
Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 1 525   Methods: 124
NCLOC: 785   Classes: 9
Files: 9  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.minisat.constraints.cnf 80,4% 81,3% 73,4% 79,5%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
BinaryClauses 50% 60% 35,3% 50%
coverage coverage
CBClause 66,7% 70% 78,9% 71,3%
coverage coverage
TernaryClauses 92,9% 82,4% 35,3% 72,3%
coverage coverage
Lits 61,1% 76,1% 84,6% 75,7%
coverage coverage
MixableCBClause - 85,7% 75% 81,8%
coverage coverage
WLClause 82,5% 84% 90,5% 84,5%
coverage coverage
Lits2 100% 100% 100% 100%
coverage
Lits23 100% 100% 100% 100%
coverage
MarkableLits 100% 100% 100% 100%
coverage
 
CloverReport generated by Clover Code Coverage v1.3.9
jeu. juin 15 2006 08:24:39 CEST.		   Open Source License registered to the OpenSAT Project. This license of Clover is provided to support the development of OpenSAT only.