Clover coverage report -
Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 1 317   Methods: 79
NCLOC: 700   Classes: 22
Files: 22  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.minisat.constraints 94,4% 88,1% 82,3% 87,7%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
PBMinClauseCardConstrDataStructure - 0% 0% 0%
coverage
CardinalityDataStructure - 66,7% 66,7% 66,7%
coverage coverage
CardinalityDataStructureYanMax - 66,7% 66,7% 66,7%
coverage coverage
CardinalityDataStructureYanMin - 66,7% 66,7% 66,7%
coverage coverage
AbstractPBDataStructureFactory 100% 72,7% 66,7% 73,7%
coverage coverage
AbstractDataStructureFactory 100% 75% 70% 75%
coverage coverage
PBMaxDataStructure - 75% 75% 75%
coverage coverage
PBMinDataStructure - 75% 75% 75%
coverage coverage
PuebloPBMinDataStructure - 75% 75% 75%
coverage coverage
ClausalDataStructureCBWL 50% 80% 100% 77,8%
coverage coverage
AbstractPBClauseCardConstrDataStructure 93,8% 92,3% 80% 91,5%
coverage coverage
AbstractCardinalityDataStructure 91,7% 94,4% 100% 93,9%
coverage coverage
ClausalDataStructureCB 100% 100% 100% 100%
coverage
ClausalDataStructureWL 100% 100% 100% 100%
coverage
MixedDataStructureDaniel - 100% 100% 100%
coverage
MixedDataStructureWithBinary 100% 100% 100% 100%
coverage
MixedDataStructureWithBinaryAndTernary 100% 100% 100% 100%
coverage
PBMaxCBClauseCardConstrDataStructure - 100% 100% 100%
coverage
PBMaxClauseAtLeastConstrDataStructure - 100% 100% 100%
coverage
PBMaxClauseCardConstrDataStructure - 100% 100% 100%
coverage
PuebloPBMinClauseAtLeastConstrDataStructure - 100% 100% 100%
coverage
PuebloPBMinClauseCardConstrDataStructure - 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.