Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.minisat:
Stmts:	262	LOC:	1 058	Total cmp:	6	Stmts/Method:	3,28
Branches:	6	NCLOC:	558	Cmp density:	0,32	Methods/Class:	20
Methods:	80	Files:	4	Avg method cmp:	1,06
Classes:	4

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.minisat org.sat4j.minisat

4.0 4

1.0625 1,06

0.9166667 91,7%

0.9166667

Class

Methods

Average Method Complexity

TOTAL Coverage

AllTests AllTests

1.0 1

0.0 0%

0.0

AbstractAcceptanceTestCase AbstractAcceptanceTestCase

5.0 5

1.4 1,4

0.9411765 94,1%

0.9411765

SolverFactory SolverFactory

70.0 70

1.0285715 1,03

0.97959185 98%

0.97959185

GenericM2Test GenericM2Test

4.0 4

1.25 1,25

1.0 100%

1.0