Clover

Clover Coverage Report

Coverage timestamp: Fri May 24 2013 13:47:27 UTC

FRAMES NO FRAMES SHOW HELP

Statistics for package org.qedeq.kernel.bo.logic:
Stmts:	10	LOC:	105	Total cmp:	6	Stmts/Method:	1.67
Branches:	0	NCLOC:	33	Cmp density:	0.6	Methods/Class:	3
Methods:	6	Files:	2	Avg method cmp:	1
Classes:	2

Package

Files

Average Method Complexity

TOTAL Coverage

org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic

2.0 2

1.0 1

0.75 75%

0.75

Class

Methods

Average Method Complexity

TOTAL Coverage

FormulaCheckerFactoryImplTest FormulaCheckerFactoryImplTest

3.0 3

1.0 1

0.75 75%

0.75

ProofCheckerFactoryImplTest ProofCheckerFactoryImplTest

3.0 3

1.0 1

0.75 75%

0.75