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.service.logic:
Stmts:	406	LOC:	751	Total cmp:	37	Stmts/Method:	14.5
Branches:	8	NCLOC:	568	Cmp density:	0.09	Methods/Class:	7
Methods:	28	Files:	4	Avg method cmp:	1.32
Classes:	4

Package

Files

Average Method Complexity

TOTAL Coverage

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

4.0 4

1.3214285 1.32

0.9411765 94.1%

0.9411765

Class

Methods

Average Method Complexity

TOTAL Coverage

QedeqBoFormalLogicCheckerTest QedeqBoFormalLogicCheckerTest

3.0 3

1.0 1

0.84615386 84.6%

0.84615386

SimpleProofFinderPluginTest SimpleProofFinderPluginTest

10.0 10

1.0 1

0.921875 92.2%

0.921875

QedeqBoFormalLogicCheckerDirectTest QedeqBoFormalLogicCheckerDirectTest

7.0 7

1.8571428 1.86

0.9310345 93.1%

0.9310345

FormalProofCheckerPluginTest FormalProofCheckerPluginTest

8.0 8

1.375 1.38

0.9626168 96.3%

0.9626168