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:	168	LOC:	386	Total cmp:	5	Stmts/Method:	6
Branches:	8	NCLOC:	247	Cmp density:	0,19	Methods/Class:	9,33
Methods:	28	Files:	3	Avg method cmp:	1,14
Classes:	3

Package

Files

Average Method Complexity

TOTAL Coverage

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

3.0 3

1.1428572 1,14

1.0 100%

1.0

Class

Methods

Average Method Complexity

TOTAL Coverage

HeapTest HeapTest

8.0 8

1.0 1

1.0 100%

1.0

MarkableLitsTest MarkableLitsTest

14.0 14

1.1428572 1,14

1.0 100%

1.0

QueueTest QueueTest

6.0 6

1.3333334 1,33

1.0 100%

1.0