Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.minisat.datatype:
Stmts:	109	LOC:	288	Total cmp:	10	Stmts/Method:	7,27
Branches:	4	NCLOC:	175	Cmp density:	0,22	Methods/Class:	7,5
Methods:	15	Files:	2	Avg method cmp:	1,6
Classes:	2

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.minisat.datatype org.sat4j.minisat.datatype

2.0 2

1.6 1,6

0.1171875 11,7%

0.1171875

Class

Methods

Average Method Complexity

TOTAL Coverage

TestAtMost TestAtMost

11.0 11

1.8181819 1,82

0.0 0%

0.0

LboolTest LboolTest

4.0 4

1.0 1

1.0 100%

1.0