Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
5,893   25,342   2,053   3.99
674   16,946   0.35   16.77
1,476   86   1.39   4.63
88   19  
 
 
Clover database Thu Feb 13 2014 22:53:34 UTC Clover database Thu Feb 13 2014 22:53:34 UTC 19.0 19 1.3909214 1.39 0.7893821 78.9% 0.7893821
 
 Package
org.qedeq.kernel.bo.logic.work org.qedeq.kernel.bo.logic.work 3.0 3 2.2 2.2 0.0 0% 0.0
org.qedeq.kernel.bo.test org.qedeq.kernel.bo.test 9.0 9 1.7 1.7 0.23239437 23.2% 0.23239437
org.qedeq.kernel.bo.module org.qedeq.kernel.bo.module 1.0 1 1.0636364 1.06 0.604 60.4% 0.604
org.qedeq.kernel.bo.common org.qedeq.kernel.bo.common 2.0 2 1.1647059 1.16 0.6468647 64.7% 0.6468647
org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.heuristic 4.0 4 2.0 2 0.656 65.6% 0.656
org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic 2.0 2 1.0 1 0.75 75% 0.75
org.qedeq.kernel.bo.log org.qedeq.kernel.bo.log 5.0 5 1.0 1 0.7529138 75.3% 0.7529138
org.qedeq.kernel.bo.service.basis org.qedeq.kernel.bo.service.basis 6.0 6 1.8072289 1.81 0.8235294 82.4% 0.8235294
org.qedeq.kernel.bo org.qedeq.kernel.bo 1.0 1 2.2432432 2.24 0.83391005 83.4% 0.83391005
org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.logic.wf 15.0 15 1.1442007 1.14 0.85846865 85.8% 0.85846865
org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.bo.service.unicode 3.0 3 1.8181819 1.82 0.875 87.5% 0.875
org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.common 3.0 3 1.0 1 0.88095236 88.1% 0.88095236
org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.model 17.0 17 1.5761589 1.58 0.8844221 88.4% 0.8844221
org.qedeq.kernel.bo.parser org.qedeq.kernel.bo.parser 5.0 5 1.0555556 1.06 0.9331683 93.3% 0.9331683
org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.latex 3.0 3 1.8333334 1.83 0.93877554 93.9% 0.93877554
org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.logic 4.0 4 1.3103448 1.31 0.94298244 94.3% 0.94298244
org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.checker 1.0 1 1.8181819 1.82 0.95522386 95.5% 0.95522386
org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.proof.finder 1.0 1 2.1666667 2.17 0.9607843 96.1% 0.9607843
org.qedeq.kernel.bo.service.internal org.qedeq.kernel.bo.service.internal 1.0 1 1.0 1 1.0 100% 1.0