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:	19	LOC:	134	Total cmp:	11	Stmts/Method:	4.75
Branches:	12	NCLOC:	52	Cmp density:	0.58	Methods/Class:	1.33
Methods:	4	Files:	3	Avg method cmp:	2.75
Classes:	3

Package

Files

Average Method Complexity

TOTAL Coverage

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

3.0 3

2.75 2.75

0.6857143 68.6%

0.6857143

Class

Methods

Average Method Complexity

TOTAL Coverage

ProofCheckerFactoryImpl ProofCheckerFactoryImpl

2.0 2

4.5 4.5

0.6451613 64.5%

0.6451613

FormulaCheckerFactoryImpl FormulaCheckerFactoryImpl

1.0 1

1.0 100%

1.0

ProofFinderFactoryImpl ProofFinderFactoryImpl

1.0 1

1.0 100%

1.0