Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.minisat.core:
Stmts:	565		LOC:	3 527		Total cmp:	100		Stmts/Method:	3,4
Branches:	226		NCLOC:	1 405		Cmp density:	0,47		Methods/Class:	5,19
Methods:	166		Files:	29		Avg method cmp:	1,6
Classes:	32

Package

Files

Average Method Complexity

TOTAL Coverage

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

29.0 29

1.5963856 1,6

0.64994776 65%

0.64994776

Class

Methods

Average Method Complexity

TOTAL Coverage

DotSearchListener DotSearchListener

14.0 14

1.3571428 1,36

0.0 0%

0.0

TextOutputListener TextOutputListener

11.0 11

1.0 1

0.0 0%

0.0

SolverStats SolverStats

3.0 3

2.0 2

0.3888889 38,9%

0.3888889

SearchParams SearchParams

13.0 13

1.3076923 1,31

0.46341464 46,3%

0.46341464

IntQueue IntQueue

6.0 6

1.5 1,5

0.5 50%

0.5

LiteralsUtils LiteralsUtils

3.0 3

1.0 1

0.71428573 71,4%

0.71428573

Solver Solver

81.0 81

1.9506173 1,95

0.7250384 72,5%

0.7250384

NullSearchListener NullSearchListener

11.0 11

1.0 1

0.8181818 81,8%

0.8181818

Heap Heap

16.0 16

1.375 1,38

0.83116883 83,1%

0.83116883

ConflictTimer ConflictTimer

3.0 3

1.3333334 1,33

0.8333333 83,3%

0.8333333

ActivityComparator ActivityComparator

1.0 1

1.0 1

1.0 100%

1.0

Lbool Lbool

4.0 4

1.0 1

1.0 100%

1.0