Clover coverage report -
Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 729   Methods: 44
NCLOC: 352   Classes: 8
Files: 8  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.tools 46,7% 58,8% 59,1% 57,1%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
RemiUtils 0% 0% 0% 0%
coverage
SolutionCounter 0% 0% 0% 0%
coverage
SolverDecorator - 50% 50% 50%
coverage coverage
ModelIterator 25% 57,9% 60% 53,6%
coverage coverage
SATRaceDecorator 50% 50% 100% 59,1%
coverage coverage
Minimal4InclusionModel 75% 94,7% 100% 89,7%
coverage coverage
Minimal4CardinalityModel 83,3% 94,4% 100% 92,3%
coverage coverage
SingleSolutionDetector - 92,3% 100% 93,8%
coverage 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.