Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for project sat4j:
Stmts:	1 364	LOC:	5 922	Total cmp:	121	Stmts/Method:	3,49
Branches:	74	NCLOC:	3 086	Cmp density:	0,37	Methods/Class:	7,38
Methods:	391	Files:	53	Avg method cmp:	1,31	Classes/Pkg:	6,62
Classes:	53	Packages:	8

Packages

Average Method Complexity

TOTAL Coverage

sat4j sat4j

8.0 8

1.3069054 1,31

0.8119191 81,2%

0.8119191

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.minisat.datatype org.sat4j.minisat.datatype

2.0 2

1.6 1,6

0.1171875 11,7%

0.1171875

org.sat4j.minisat org.sat4j.minisat

20.0 20

1.1764706 1,18

0.6956522 69,6%

0.6956522

org.sat4j.minisat.reader org.sat4j.minisat.reader

2.0 2

3.1052632 3,11

0.8436214 84,4%

0.8436214

org.sat4j org.sat4j

2.0 2

2.7 2,7

0.9263804 92,6%

0.9263804

org.sat4j.minisat.constraints.pb org.sat4j.minisat.constraints.pb

1.0 1

3.5 3,5

0.96666664 96,7%

0.96666664

org.sat4j.minisat.constraints org.sat4j.minisat.constraints

22.0 22

1.0 1

0.98507464 98,5%

0.98507464

org.sat4j.core org.sat4j.core

1.0 1

1.5555556 1,56

0.9954128 99,5%

0.9954128

org.sat4j.minisat.core org.sat4j.minisat.core

3.0 3

1.1428572 1,14

1.0 100%

1.0