Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 558   Methods: 32
NCLOC: 264   Classes: 6
Files: 6  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.tools 52,9% 54% 46,9% 52,4%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
RemiUtils 0% 0% 0% 0%
coverage
SolutionCounter 0% 0% 0% 0%
coverage
SolverDecorator - 40% 40% 40%
coverage coverage
ModelIterator 50% 57,9% 60% 56,7%
coverage coverage
Minimal4InclusionModel 80% 94,7% 100% 90,3%
coverage coverage
Minimal4CardinalityModel 87,5% 94,4% 100% 92,9%
coverage coverage
 
CloverReport generated by Clover Code Coverage v1.3.9
jeu. sept. 29 2005 23:57:47 CEST.		   Open Source License registered to the OpenSAT Project. This license of Clover is provided to support the development of OpenSAT only.