Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.minisat.constraints:
Stmts:	148	LOC:	2 215	Total cmp:	1	Stmts/Method:	1,23
Branches:	0	NCLOC:	677	Cmp density:	0,81	Methods/Class:	5,45
Methods:	120	Files:	22	Avg method cmp:	1
Classes:	22

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.minisat.constraints org.sat4j.minisat.constraints

22.0 22

1.0 1

0.98507464 98,5%

0.98507464

Class

Methods

Average Method Complexity

TOTAL Coverage

AbstractPigeonHoleWithCardinalityTest AbstractPigeonHoleWithCardinalityTest

16.0 16

1.0 1

0.9375 93,8%

0.9375

AbstractPseudoBooleanAndPigeonHoleTest AbstractPseudoBooleanAndPigeonHoleTest

42.0 42

1.0 1

0.9764706 97,6%

0.9764706

AbstractRandomCardProblemsTest AbstractRandomCardProblemsTest

19.0 19

1.0 1

1.0 100%

1.0

CounterCardConstrOnRandomCardProblemsTest CounterCardConstrOnRandomCardProblemsTest

2.0 2

1.0 1

1.0 100%

1.0

CounterPBConstrOnRandomCardProblemsTest CounterPBConstrOnRandomCardProblemsTest

2.0 2

1.0 1

1.0 100%

1.0

CounterPBConstrWithCBClauseCardConstrLearningTest CounterPBConstrWithCBClauseCardConstrLearningTest

2.0 2

1.0 1

1.0 100%

1.0

CounterPBConstrWithClauseAtLeastConstrLearningTest CounterPBConstrWithClauseAtLeastConstrLearningTest

2.0 2

1.0 1

1.0 100%

1.0

CounterPBConstrWithClauseCardConstrLearningTest CounterPBConstrWithClauseCardConstrLearningTest

2.0 2

1.0 1

1.0 100%

1.0

CounterPBConstrWithClauseLearningTest CounterPBConstrWithClauseLearningTest

2.0 2

1.0 1

1.0 100%

1.0

CounterPBConstrWithPBConstrLearningTest CounterPBConstrWithPBConstrLearningTest

2.0 2

1.0 1

1.0 100%

1.0

CounterPBWithClauseCardConstrLearningReduceToClauseTest CounterPBWithClauseCardConstrLearningReduceToClauseTest

2.0 2

1.0 1

1.0 100%

1.0

LitTest LitTest

7.0 7

1.0 1

1.0 100%

1.0

MyCounterCardConstrOnRandomCardProblemsTest MyCounterCardConstrOnRandomCardProblemsTest

2.0 2

1.0 1

1.0 100%

1.0

PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest

2.0 2

1.0 1

1.0 100%

1.0

PuebloWatchedPBConstrOnRandomCardProblemsTest PuebloWatchedPBConstrOnRandomCardProblemsTest

2.0 2

1.0 1

1.0 100%

1.0

PuebloWatchedPBConstrWithClauseLearningTest PuebloWatchedPBConstrWithClauseLearningTest

2.0 2

1.0 1

1.0 100%

1.0

PuebloWatchedPBConstrWithPBConstrLearningTest PuebloWatchedPBConstrWithPBConstrLearningTest

2.0 2

1.0 1

1.0 100%

1.0

PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest

2.0 2

1.0 1

1.0 100%

1.0

WatchedCardConstrOnRandomCardProblemsTest WatchedCardConstrOnRandomCardProblemsTest

2.0 2

1.0 1

1.0 100%

1.0

WatchedPBConstrOnRandomCardProblemsTest WatchedPBConstrOnRandomCardProblemsTest

2.0 2

1.0 1

1.0 100%

1.0

WatchedPBConstrWithClauseLearningTest WatchedPBConstrWithClauseLearningTest

2.0 2

1.0 1

1.0 100%

1.0

WatchedPBConstrWithPBConstrLearningTest WatchedPBConstrWithPBConstrLearningTest

2.0 2

1.0 1

1.0 100%

1.0