Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.minisat.reader:
Stmts:	212	LOC:	575	Total cmp:	41	Stmts/Method:	11,16
Branches:	12	NCLOC:	413	Cmp density:	0,28	Methods/Class:	9,5
Methods:	19	Files:	2	Avg method cmp:	3,11
Classes:	2

Package

Files

Average Method Complexity

TOTAL Coverage

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

2.0 2

3.1052632 3,11

0.8436214 84,4%

0.8436214

Class

Methods

Average Method Complexity

TOTAL Coverage

GoodOPBReaderTest GoodOPBReaderTest

14.0 14

3.857143 3,86

0.8199052 82%

0.8199052

RangeDomainTest RangeDomainTest

5.0 5

1.0 1

1.0 100%

1.0