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  
 
 
Cloud icon for Clover database Thu Feb 13 2014 22:53:34 UTC Clover database Thu Feb 13 2014 22:53:34 UTC Clover database Thu Feb 13 2014 22:53:34 UTC 20.0 20 2.7115145 2.71 0.72929245 72.9% 0.72929245
 
 Package
Cloud icon for org.qedeq.kernel.bo.job org.qedeq.kernel.bo.job org.qedeq.kernel.bo.job 3.0 3 1.4125 1.41 0.4164038 41.6% 0.4164038
Cloud icon for org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.heuristic 2.0 2 2.516129 2.52 0.41860464 41.9% 0.41860464
Cloud icon for org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.checker 5.0 5 4.5423727 4.54 0.5506608 55.1% 0.5506608
Cloud icon for org.qedeq.kernel.bo.service.internal org.qedeq.kernel.bo.service.internal org.qedeq.kernel.bo.service.internal 10.0 10 2.2183907 2.22 0.65338826 65.3% 0.65338826
Cloud icon for org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.common 20.0 20 2.607143 2.61 0.6712329 67.1% 0.6712329
Cloud icon for org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic 3.0 3 2.75 2.75 0.6857143 68.6% 0.6857143
Cloud icon for org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.proof.finder 5.0 5 2.1833334 2.18 0.7075472 70.8% 0.7075472
Cloud icon for org.qedeq.kernel.bo.module org.qedeq.kernel.bo.module org.qedeq.kernel.bo.module 14.0 14 1.7432432 1.74 0.71834624 71.8% 0.71834624
Cloud icon for org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.logic 10.0 10 3.1705427 3.17 0.7318328 73.2% 0.7318328
Cloud icon for org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.model 21.0 21 2.3111112 2.31 0.75688076 75.7% 0.75688076
Cloud icon for org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.bo.service.unicode 11.0 11 5.0211267 5.02 0.76775205 76.8% 0.76775205
Cloud icon for org.qedeq.kernel.bo.service.basis org.qedeq.kernel.bo.service.basis org.qedeq.kernel.bo.service.basis 11.0 11 3.3636363 3.36 0.80184656 80.2% 0.80184656
Cloud icon for org.qedeq.kernel.bo.common org.qedeq.kernel.bo.common org.qedeq.kernel.bo.common 14.0 14 1.548387 1.55 0.8041958 80.4% 0.8041958
Cloud icon for org.qedeq.kernel.bo.parser org.qedeq.kernel.bo.parser org.qedeq.kernel.bo.parser 15.0 15 2.923913 2.92 0.807611 80.8% 0.807611
Cloud icon for org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.latex 6.0 6 3.5053763 3.51 0.8139892 81.4% 0.8139892
Cloud icon for org.qedeq.kernel.bo.service.dependency org.qedeq.kernel.bo.service.dependency org.qedeq.kernel.bo.service.dependency 6.0 6 2.1153846 2.12 0.8604651 86% 0.8604651
Cloud icon for org.qedeq.kernel.bo.log org.qedeq.kernel.bo.log org.qedeq.kernel.bo.log 10.0 10 1.9215686 1.92 0.8915663 89.2% 0.8915663
Cloud icon for org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.logic.wf 6.0 6 3.0 3 0.91022444 91% 0.91022444
Cloud icon for org.qedeq.kernel.bo org.qedeq.kernel.bo org.qedeq.kernel.bo 1.0 1 1.2314814 1.23 0.91463417 91.5% 0.91463417
Cloud icon for org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.common 9.0 9 1.0 1 1.0 100% 1.0