Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.core:
Stmts:	310	LOC:	1 199	Total cmp:	69	Stmts/Method:	2,98
Branches:	160	NCLOC:	677	Cmp density:	0,55	Methods/Class:	26
Methods:	104	Files:	4	Avg method cmp:	1,65
Classes:	4

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.core org.sat4j.core

4.0 4

1.6538461 1,65

0.66898954 66,9%

0.66898954

Class

Methods

Average Method Complexity

TOTAL Coverage

VecInt VecInt

64.0 64

1.546875 1,55

0.58766234 58,8%

0.58766234

Vec Vec

37.0 37

1.7837838 1,78

0.75 75%

0.75

ASolverFactory ASolverFactory

2.0 2

3.0 3

0.9 90%

0.9

DefaultComparator DefaultComparator

1.0 1

1.0 100%

1.0