Clover coverage report -
Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 317   Methods: 22
NCLOC: 247   Classes: 6
Files: 6  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.reader.csp 0% 0% 0% 0%
coverage
 
 Classes Conditionals Statements Methods TOTAL
BinarySupportsACEncoding 0% 0% 0% 0%
coverage
Nogoods 0% 0% 0% 0%
coverage
SupportsDirectEncoding 0% 0% 0% 0%
coverage
SupportsGeneralizedACEncoding 0% 0% 0% 0%
coverage
Var 0% 0% 0% 0%
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.