Clover coverage report -
Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 1 151   Methods: 103
NCLOC: 685   Classes: 4
Files: 4  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.core 78,7% 75,2% 61,2% 73,3%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
VecInt 67,2% 63,6% 46,9% 60,6%
coverage coverage
Vec 88,3% 88,1% 83,3% 87,4%
coverage coverage
ASolverFactory 100% 85,7% 100% 90%
coverage coverage
DefaultComparator - 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.