Clover Coverage Report
Coverage timestamp: Tue Apr 9 2013 12:58:07 UTC
App    Test   Results   Clouds
Overview   Package   File
    FRAMES   NO FRAMES     
17,349   69,000   8,225   4.94
7,552   36,797   0.47   8.14
3,515   414   2.34   11.08
432   39  
 
 
Cloud icon for Clover database Tue Apr 9 2013 06:50:57 UTC Clover database Tue Apr 9 2013 06:50:57 UTC Clover database Tue Apr 9 2013 06:50:57 UTC 39.0 39 2.3399715 2.34 0.78395975 78.4% 0.78395975
 
 Package
Cloud icon for org.qedeq.kernel.bo org.qedeq.kernel.bo org.qedeq.kernel.bo 1.0 1 1.1944444 1.19 0.40836012 40.8% 0.40836012
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.5666666 2.57 0.4140625 41.4% 0.4140625
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.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.xml.tracker org.qedeq.kernel.xml.tracker org.qedeq.kernel.xml.tracker 4.0 4 3.0 3 0.6304762 63% 0.6304762
Cloud icon for org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service org.qedeq.kernel.bo.service 16.0 16 2.3506494 2.35 0.6583286 65.8% 0.6583286
Cloud icon for org.qedeq.kernel.bo.module org.qedeq.kernel.bo.module org.qedeq.kernel.bo.module 19.0 19 1.9603175 1.96 0.66490066 66.5% 0.66490066
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.proof.finder org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.proof.finder 5.0 5 2.1833334 2.18 0.6962264 69.6% 0.6962264
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.1538463 3.15 0.7030848 70.3% 0.7030848
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.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.service.unicode org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.bo.service.unicode 11.0 11 5.0 5 0.74733937 74.7% 0.74733937
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.74923545 74.9% 0.74923545
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.parser org.qedeq.kernel.bo.parser org.qedeq.kernel.bo.parser 15.0 15 2.923913 2.92 0.76849896 76.8% 0.76849896
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 0.7777778 77.8% 0.7777778
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.bo.logic org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic 3.0 3 2.75 2.75 0.8 80% 0.8
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.5326087 3.53 0.80292535 80.3% 0.80292535
Cloud icon for org.qedeq.kernel.bo.service.dependency org.qedeq.kernel.bo.service.dependency org.qedeq.kernel.bo.service.dependency 8.0 8 1.6666666 1.67 0.8363636 83.6% 0.8363636
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.3495145 2.35 0.84177613 84.2% 0.84177613
Cloud icon for org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.dao 4.0 4 1.8648648 1.86 0.85694635 85.7% 0.85694635
Cloud icon for org.qedeq.base.io org.qedeq.base.io org.qedeq.base.io 15.0 15 2.6180258 2.62 0.8609237 86.1% 0.8609237
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.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.xml.mapper org.qedeq.kernel.xml.mapper org.qedeq.kernel.xml.mapper 3.0 3 1.3818182 1.38 0.916318 91.6% 0.916318
Cloud icon for org.qedeq.kernel.bo.common org.qedeq.kernel.bo.common org.qedeq.kernel.bo.common 13.0 13 1.0769231 1.08 0.9310345 93.1% 0.9310345
Cloud icon for org.qedeq.base.trace org.qedeq.base.trace org.qedeq.base.trace 1.0 1 2.6764705 2.68 0.9372694 93.7% 0.9372694
Cloud icon for org.qedeq.kernel.se.common org.qedeq.kernel.se.common org.qedeq.kernel.se.common 13.0 13 1.8625 1.86 0.9571106 95.7% 0.9571106
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.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
 
CloverReport generated by Clover Code Coverage v3.1.10
Tue Apr 9 2013 12:58:14 UTC.		   Clover: Open Source License registered to qedeq.org .