Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 2 406   Methods: 112
NCLOC: 1 520   Classes: 17
Files: 12  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.reader 21,7% 19,1% 16,1% 19,5%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
AllowedRelation 0% 0% 0% 0%
coverage
CardDimacsReader 0% 0% 0% 0%
coverage
ForbiddenRelation 0% 0% 0% 0%
coverage
OPBReader2005 0% 0% 0% 0%
coverage
ObjectiveFunction 0% 0% 0% 0%
coverage
ParseFormatException - 0% 0% 0%
coverage
SupportAllowedRelation 0% 0% 0% 0%
coverage
Var 0% 0% 0% 0%
coverage
ExtendedDimacsReader 0% 0,7% 7,1% 1,1%
coverage coverage
DimacsReader 0% 1,4% 10% 1,8%
coverage coverage
CSPReader 0% 1,5% 11,1% 2%
coverage coverage
CSPSupportReader 0% 25% 50% 25%
coverage coverage
InstanceReader 58,3% 68% 66,7% 65%
coverage coverage
GoodOPBReader 72,9% 81% 80% 78%
coverage coverage
LecteurDimacs 71,4% 85% 88,9% 80,9%
coverage coverage
 
CloverReport generated by Clover Code Coverage v1.3.9
jeu. sept. 29 2005 23:57:47 CEST.		   Open Source License registered to the OpenSAT Project. This license of Clover is provided to support the development of OpenSAT only.