Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 1 101   Methods: 100
NCLOC: 667   Classes: 3
Files: 3  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.core 75,4% 74,2% 61% 72%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
VecInt 60,3% 61% 45,2% 57,3%
coverage coverage
Vec 88,3% 88,7% 86,1% 88,2%
coverage coverage
ASolverFactory 100% 85,7% 100% 90%
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.