Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.minisat.restarts:
Stmts:	33	LOC:	162	Total cmp:	4	Stmts/Method:	2,06
Branches:	8	NCLOC:	94	Cmp density:	0,58	Methods/Class:	5,33
Methods:	16	Files:	3	Avg method cmp:	1,19
Classes:	3

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.minisat.restarts org.sat4j.minisat.restarts

3.0 3

1.1875 1,19

0.84210527 84,2%

0.84210527

Class

Methods

Average Method Complexity

TOTAL Coverage

MiniSATRestarts MiniSATRestarts

4.0 4

1.0 1

0.7777778 77,8%

0.7777778

LubyRestarts LubyRestarts

8.0 8

1.25 1,25

0.83870965 83,9%

0.83870965

ArminRestarts ArminRestarts

4.0 4

1.25 1,25

0.88235295 88,2%

0.88235295