Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j:
Stmts:	143	LOC:	316	Total cmp:	18	Stmts/Method:	14,3
Branches:	10	NCLOC:	214	Cmp density:	0,19	Methods/Class:	5
Methods:	10	Files:	2	Avg method cmp:	2,7
Classes:	2

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j org.sat4j

2.0 2

2.7 2,7

0.9263804 92,6%

0.9263804

Class

Methods

Average Method Complexity

TOTAL Coverage

ModelIteratorTest ModelIteratorTest

6.0 6

3.5 3,5

0.9137931 91,4%

0.9137931

SingleSolutionTest SingleSolutionTest

4.0 4

1.5 1,5

0.9574468 95,7%

0.9574468