Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
17,517   69,694   8,276   4.96
7,610   37,099   0.47   8.15
3,530   417   2.34   10.56
433   41  
 
 
Cloud icon for Clover database Fri Feb 14 2014 01:49:13 UTC Clover database Fri Feb 14 2014 01:49:13 UTC Clover database Fri Feb 14 2014 01:49:13 UTC 41.0 41 2.344476 2.34 0.8051436 80.5% 0.8051436
 
 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.41324922 41.3% 0.41324922
Cloud icon for com.sun.syndication.io com.sun.syndication.io com.sun.syndication.io 2.0 2 3.5588236 3.56 0.41839764 41.8% 0.41839764
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.65384614 65.4% 0.65384614
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.xml.handler.parser org.qedeq.kernel.xml.handler.parser org.qedeq.kernel.xml.handler.parser 3.0 3 3.3333333 3.33 0.7080292 70.8% 0.7080292
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.xml.handler.common org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.handler.common 4.0 4 1.9 1.9 0.73839664 73.8% 0.73839664
Cloud icon for org.qedeq.kernel.xml.parser org.qedeq.kernel.xml.parser org.qedeq.kernel.xml.parser 4.0 4 2.4736843 2.47 0.74407583 74.4% 0.74407583
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.xml.handler.list org.qedeq.kernel.xml.handler.list org.qedeq.kernel.xml.handler.list 2.0 2 1.4615384 1.46 0.76666665 76.7% 0.76666665
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.xml.common org.qedeq.kernel.xml.common org.qedeq.kernel.xml.common 1.0 1 1.0 1 0.7777778 77.8% 0.7777778
Cloud icon for org.qedeq.kernel.xml.tracker org.qedeq.kernel.xml.tracker org.qedeq.kernel.xml.tracker 4.0 4 3.0238094 3.02 0.7973485 79.7% 0.7973485
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.8511628 85.1% 0.8511628
Cloud icon for org.qedeq.base.io org.qedeq.base.io org.qedeq.base.io 15.0 15 2.6266093 2.63 0.85876286 85.9% 0.85876286
Cloud icon for org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.handler.module 40.0 40 2.3592234 2.36 0.86567163 86.6% 0.86567163
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.xml.dao org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.dao 3.0 3 1.8666667 1.87 0.8926471 89.3% 0.8926471
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.base.utility org.qedeq.base.utility org.qedeq.base.utility 6.0 6 2.6666667 2.67 0.91284406 91.3% 0.91284406
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.xml.mapper org.qedeq.kernel.xml.mapper org.qedeq.kernel.xml.mapper 3.0 3 1.4107143 1.41 0.92175066 92.2% 0.92175066
Cloud icon for org.qedeq.base.trace org.qedeq.base.trace org.qedeq.base.trace 1.0 1 2.6285715 2.63 0.92673993 92.7% 0.92673993
Cloud icon for org.qedeq.kernel.se.common org.qedeq.kernel.se.common org.qedeq.kernel.se.common 15.0 15 1.875 1.88 0.95535713 95.5% 0.95535713
Cloud icon for org.qedeq.kernel.se.config org.qedeq.kernel.se.config org.qedeq.kernel.se.config 2.0 2 1.532258 1.53 0.9777778 97.8% 0.9777778
Cloud icon for org.qedeq.kernel.se.visitor org.qedeq.kernel.se.visitor org.qedeq.kernel.se.visitor 10.0 10 2.1784039 2.18 0.9805574 98.1% 0.9805574
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
Cloud icon for org.qedeq.kernel.se.dto.list org.qedeq.kernel.se.dto.list org.qedeq.kernel.se.dto.list 3.0 3 2.1020408 2.1 1.0 100% 1.0
Cloud icon for org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.dto.module 50.0 50 1.6222222 1.62 1.0 100% 1.0
Cloud icon for org.qedeq.kernel.se.state org.qedeq.kernel.se.state org.qedeq.kernel.se.state 11.0 11 1.0714285 1.07 1.0 100% 1.0