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

Aggregate Packages

Packages

Average Method Complexity

TOTAL Coverage

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

1.0 1

1.6 1,6

0.1171875 11,7%

0.1171875

org.sat4j.minisat org.sat4j.minisat

6.0 6

1.2485876 1,25

0.77140886 77,1%

0.77140886

org org

8.0 8

1.3069054 1,31

0.8119191 81,2%

0.8119191

org.sat4j org.sat4j

8.0 8

1.3069054 1,31

0.8119191 81,2%

0.8119191

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

1.0 1

3.1052632 3,11

0.8436214 84,4%

0.8436214

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

2.0 2

1.0409836 1,04

0.9832215 98,3%

0.9832215

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

1.0 1

1.1428572 1,14

1.0 100%

1.0