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