Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j:
Stmts:	494	LOC:	1 854	Total cmp:	116	Stmts/Method:	6,1
Branches:	150	NCLOC:	1 116	Cmp density:	0,4	Methods/Class:	5,79
Methods:	81	Files:	14	Avg method cmp:	2,42
Classes:	14

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j org.sat4j

14.0 14

2.419753 2,42

0.0 0%

0.0

Class

Methods

Average Method Complexity

TOTAL Coverage

AbstractLauncher AbstractLauncher

17.0 17

2.0 2

0.0 0%

0.0

AbstractOptimizationLauncher AbstractOptimizationLauncher

2.0 2

6.0 6

0.0 0%

0.0

AllTests AllTests

1.0 1

0.0 0%

0.0

CSPLauncher CSPLauncher

5.0 5

1.4 1,4

0.0 0%

0.0

ExitCode ExitCode

4.0 4

1.25 1,25

0.0 0%

0.0

GenericOptLauncher GenericOptLauncher

6.0 6

2.1666667 2,17

0.0 0%

0.0

Lanceur Lanceur

13.0 13

4.230769 4,23

0.0 0%

0.0

LanceurPseudo2005 LanceurPseudo2005

6.0 6

1.5 1,5

0.0 0%

0.0

LanceurPseudo2007 LanceurPseudo2007

3.0 3

1.0 1

0.0 0%

0.0

MaxSatLauncher MaxSatLauncher

5.0 5

1.4 1,4

0.0 0%

0.0

Messages Messages

2.0 2

1.5 1,5

0.0 0%

0.0

MoreThanSAT MoreThanSAT

2.0 2

4.0 4

0.0 0%

0.0

ResultCode ResultCode

3.0 3

1.0 1

0.0 0%

0.0

ResultsManager ResultsManager

12.0 12

3.0 3

0.0 0%

0.0