Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
10,201   35,331   4,333   6.38
4,270   20,547   0.42   8.11
1,598   182   2.71   9.85
197   20  
 
 Aggregate Packages
Cloud icon for job org.qedeq.kernel.bo.job org.qedeq.kernel.bo.job 1.0 1 1.4125 1.41 0.4164038 41.6% 0.4164038
Cloud icon for heuristic org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.heuristic 1.0 1 2.516129 2.52 0.41860464 41.9% 0.41860464
Cloud icon for checker org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.checker 1.0 1 4.5423727 4.54 0.5506608 55.1% 0.5506608
org.qedeq.kernel.bo.logic.proof org.qedeq.kernel.bo.logic.proof 3.0 3 3.2764227 3.28 0.5965282 59.7% 0.5965282
Cloud icon for internal org.qedeq.kernel.bo.service.internal org.qedeq.kernel.bo.service.internal 1.0 1 2.2183907 2.22 0.65338826 65.3% 0.65338826
Cloud icon for common org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.common 1.0 1 2.607143 2.61 0.6712329 67.1% 0.6712329
Cloud icon for logic org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic 7.0 7 2.7559056 2.76 0.6869236 68.7% 0.6869236
Cloud icon for finder org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.proof.finder 1.0 1 2.1833334 2.18 0.7075472 70.8% 0.7075472
Cloud icon for module org.qedeq.kernel.bo.module org.qedeq.kernel.bo.module 1.0 1 1.7432432 1.74 0.71834624 71.8% 0.71834624
Cloud icon for bo org.qedeq.kernel.bo org.qedeq.kernel.bo 20.0 20 2.7115145 2.71 0.72929245 72.9% 0.72929245
org.qedeq.kernel org.qedeq.kernel 20.0 20 2.7115145 2.71 0.72929245 72.9% 0.72929245
org org 20.0 20 2.7115145 2.71 0.72929245 72.9% 0.72929245
org.qedeq org.qedeq 20.0 20 2.7115145 2.71 0.72929245 72.9% 0.72929245
Cloud icon for logic org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.logic 1.0 1 3.1705427 3.17 0.7318328 73.2% 0.7318328
org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service 7.0 7 3.1920614 3.19 0.73949313 73.9% 0.73949313
Cloud icon for model org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.model 1.0 1 2.3111112 2.31 0.75688076 75.7% 0.75688076
Cloud icon for unicode org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.bo.service.unicode 1.0 1 5.0211267 5.02 0.76775205 76.8% 0.76775205
Cloud icon for basis org.qedeq.kernel.bo.service.basis org.qedeq.kernel.bo.service.basis 1.0 1 3.3636363 3.36 0.80184656 80.2% 0.80184656
Cloud icon for common org.qedeq.kernel.bo.common org.qedeq.kernel.bo.common 1.0 1 1.548387 1.55 0.8041958 80.4% 0.8041958
Cloud icon for parser org.qedeq.kernel.bo.parser org.qedeq.kernel.bo.parser 1.0 1 2.923913 2.92 0.807611 80.8% 0.807611
Cloud icon for latex org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.latex 1.0 1 3.5053763 3.51 0.8139892 81.4% 0.8139892
Cloud icon for dependency org.qedeq.kernel.bo.service.dependency org.qedeq.kernel.bo.service.dependency 1.0 1 2.1153846 2.12 0.8604651 86% 0.8604651
Cloud icon for log org.qedeq.kernel.bo.log org.qedeq.kernel.bo.log 1.0 1 1.9215686 1.92 0.8915663 89.2% 0.8915663
Cloud icon for wf org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.logic.wf 1.0 1 3.0 3 0.91022444 91% 0.91022444
Cloud icon for common org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.common 1.0 1 1.0 1 1.0 100% 1.0