Clover coverage report -
Coverage timestamp: ven. févr. 24 2006 06:59:02 CET
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 150   Methods: 18
NCLOC: 105   Classes: 1
Files: 1  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.ubcsat.structure 0% 0% 0% 0%
coverage
 
 Classes Conditionals Statements Methods TOTAL
Constraint 0% 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.