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:	401	LOC:	1 725	Total cmp:	31	Stmts/Method:	2,36
Branches:	4	NCLOC:	1 069	Cmp density:	0,5	Methods/Class:	8,5
Methods:	170	Files:	20	Avg method cmp:	1,18
Classes:	20

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.minisat org.sat4j.minisat

20.0 20

1.1764706 1,18

0.6956522 69,6%

0.6956522

Class

Methods

Average Method Complexity

TOTAL Coverage

TestAssertion TestAssertion

1.0 1

2.0 2

0.0 0%

0.0

TestsFonctionnels TestsFonctionnels

15.0 15

2.4 2,4

0.0 0%

0.0

CounterPBConstrWithClauseLearningOnCNFTest CounterPBConstrWithClauseLearningOnCNFTest

4.0 4

1.5 1,5

0.9142857 91,4%

0.9142857

CounterPBConstrWithPBConstrLearningOnCNFTest CounterPBConstrWithPBConstrLearningOnCNFTest

4.0 4

1.5 1,5

0.9142857 91,4%

0.9142857

WatchedPBConstrWithClauseLearningOnCNFTest WatchedPBConstrWithClauseLearningOnCNFTest

4.0 4

1.5 1,5

0.9142857 91,4%

0.9142857

WatchedPBConstrWithPBConstrLearningOnCNFTest WatchedPBConstrWithPBConstrLearningOnCNFTest

4.0 4

1.5 1,5

0.9142857 91,4%

0.9142857

AbstractM2Test AbstractM2Test

104.0 104

1.0 1

0.99033815 99%

0.99033815

M2AtLeastTest M2AtLeastTest

2.0 2

1.0 1

1.0 100%

1.0

M2BackjumpingTest M2BackjumpingTest

2.0 2

1.0 1

1.0 100%

1.0

M2CardMaxYannTest M2CardMaxYannTest

2.0 2

1.0 1

1.0 100%

1.0

M2CardMinYannTest M2CardMinYannTest

2.0 2

1.0 1

1.0 100%

1.0

M2Mini3SATTest M2Mini3SATTest

2.0 2

1.0 1

1.0 100%

1.0

M2MiniActiveLearningTest M2MiniActiveLearningTest

2.0 2

1.0 1

1.0 100%

1.0

M2MiniLearning23Test M2MiniLearning23Test

2.0 2

1.0 1

1.0 100%

1.0

M2MiniLearning2Test M2MiniLearning2Test

2.0 2

1.0 1

1.0 100%

1.0

M2MiniLearningCBTest M2MiniLearningCBTest

2.0 2

1.0 1

1.0 100%

1.0

M2MiniLearningTest M2MiniLearningTest

2.0 2

1.0 1

1.0 100%

1.0

M2MiniSATTest M2MiniSATTest

2.0 2

1.0 1

1.0 100%

1.0

M2RelsatTest M2RelsatTest

2.0 2

1.0 1

1.0 100%

1.0

VarOrderTest VarOrderTest

10.0 10

1.0 1

1.0 100%

1.0