Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.specs:
Stmts:	8	LOC:	957	Total cmp:	1	Stmts/Method:	1
Branches:	0	NCLOC:	140	Cmp density:	1	Methods/Class:	1
Methods:	8	Files:	8	Avg method cmp:	1
Classes:	8

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.specs org.sat4j.specs

8.0 8

1.0 1

0.375 37,5%

0.375

Class

Methods

Average Method Complexity

TOTAL Coverage

TimeoutException TimeoutException

4.0 4

1.0 1

0.25 25%

0.25

ContradictionException ContradictionException

4.0 4

1.0 1

0.5 50%

0.5