Clover Coverage Cloud Report
Coverage timestamp:
Fri May 24 2013 13:47:27 UTC
App
Test
Results
Clouds
Overview
Package
File
FRAMES
NO FRAMES
SHOW HELP
Statistics for package org.qedeq.kernel.bo.logic.proof.finder:
Stmts:
330
LOC:
1,087
Total cmp:
131
Stmts/Method:
5.5
Branches:
140
NCLOC:
662
Cmp density:
0.4
Methods/Class:
8.57
Methods:
60
Files:
5
Avg method cmp:
2.18
Classes:
7
Statistics for package org.qedeq.kernel.bo.logic.proof.finder:
Stmts:
330
LOC:
1,087
Total cmp:
131
Stmts/Method:
5.5
Branches:
140
NCLOC:
662
Cmp density:
0.4
Methods/Class:
8.57
Methods:
60
Files:
5
Avg method cmp:
2.18
Classes:
7
Package Risks
Quick Wins
org.qedeq.kernel.bo.logic.proof.finder
ModusPonensBo
ProofFinderImpl
ProofFinderImpl.SubstituteBase
ProofFinderUtility
SubstPredBo
Report generated by
Clover
Code Coverage
v3.1.10
Fri May 24 2013 13:47:32 UTC
.
Clover: Open Source License registered to qedeq.org .