Clover coverage report -
Coverage timestamp: ven. févr. 24 2006 06:59:02 CET
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 143   Methods: 7
NCLOC: 77   Classes: 2
Files: 2  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.ubcsat 0% 0% 0% 0%
coverage
 
 Classes Conditionals Statements Methods TOTAL
Random 0% 0% 0% 0%
coverage
SolverFactory - 0% 0% 0%
coverage
 
CloverReport generated by Clover Code Coverage v1.3.9
ven. févr. 24 2006 06:59:24 CET.		   Open Source License registered to the OpenSAT Project. This license of Clover is provided to support the development of OpenSAT only.