Clover coverage report -
Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 2 317   Methods: 108
NCLOC: 1 457   Classes: 14
Files: 14  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.reader 24,2% 21,3% 16,7% 21,7%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
CSPExtSupportReader - 0% 0% 0%
coverage
CSPReader 0% 0% 0% 0%
coverage
CSPSupportReader 0% 0% 0% 0%
coverage
CardDimacsReader 0% 0% 0% 0%
coverage
DimacsReader 0% 0% 0% 0%
coverage
ExtendedDimacsReader 0% 0% 0% 0%
coverage
OPBReader2005 0% 0% 0% 0%
coverage
OPBReader2006 0% 0% 0% 0%
coverage
ObjectiveFunction 0% 0% 0% 0%
coverage
ParseFormatException - 0% 0% 0%
coverage
InstanceReader 40% 48% 40% 44,4%
coverage coverage
Reader 50% 75% 100% 71,4%
coverage coverage
GoodOPBReader 73,9% 81,8% 80% 78,9%
coverage coverage
LecteurDimacs 73,8% 85,1% 80% 81,3%
coverage 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.