Clover Coverage Report

Coverage timestamp: mer. juin 27 2007 07:27:16 CEST

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.reader:
Stmts:	1 044		LOC:	3 559		Total cmp:	307		Stmts/Method:	5,55
Branches:	520		NCLOC:	2 107		Cmp density:	0,47		Methods/Class:	10,44
Methods:	188		Files:	18		Avg method cmp:	2,63
Classes:	18

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.reader org.sat4j.reader

18.0 18

2.6276596 2,63

0.15924658 15,9%

0.15924658

Class

Methods

Average Method Complexity

TOTAL Coverage

AAGReader AAGReader

11.0 11

2.0 2

0.0 0%

0.0

AIGReader AIGReader

12.0 12

2.6666667 2,67

0.0 0%

0.0

CSPExtSupportReader CSPExtSupportReader

2.0 2

1.0 1

0.0 0%

0.0

CSPReader CSPReader

46.0 46

1.6956521 1,7

0.0 0%

0.0

CSPSupportReader CSPSupportReader

2.0 2

1.0 1

0.0 0%

0.0

CardDimacsReader CardDimacsReader

3.0 3

6.0 6

0.0 0%

0.0

DimacsReader DimacsReader

12.0 12

3.0833333 3,08

0.0 0%

0.0

ExtendedDimacsReader ExtendedDimacsReader

3.0 3

7.0 7

0.0 0%

0.0

OPBReader2005 OPBReader2005

34.0 34

2.8823528 2,88

0.0 0%

0.0

OPBReader2006 OPBReader2006

2.0 2

1.5 1,5

0.0 0%

0.0

OPBReader2007 OPBReader2007

10.0 10

2.7 2,7

0.0 0%

0.0

ObjectiveFunction ObjectiveFunction

5.0 5

1.8 1,8

0.0 0%

0.0

ParseFormatException ParseFormatException

4.0 4

1.0 1

0.0 0%

0.0

XMLCSPReader XMLCSPReader

6.0 6

1.3333334 1,33

0.0 0%

0.0

InstanceReader InstanceReader

15.0 15

2.8 2,8

0.36363637 36,4%

0.36363637

Reader Reader

4.0 4

1.5 1,5

0.5555556 55,6%

0.5555556

GoodOPBReader GoodOPBReader

6.0 6

6.5 6,5

0.6903226 69%

0.6903226

LecteurDimacs LecteurDimacs

11.0 11

4.181818 4,18

0.7755102 77,6%

0.7755102