Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
App    Test   Results   Clouds
Overview   Package   File
    FRAMES   NO FRAMES     
17,487   69,884   8,282   4.94
7,588   37,136   0.47   8.1
3,538   419   2.34   11.21
437   39  
 
 
Cloud icon for Clover database Fri May 24 2013 07:38:28 UTC Clover database Fri May 24 2013 07:38:28 UTC Clover database Fri May 24 2013 07:38:28 UTC 39.0 39 2.3408706 2.34 0.79547757 79.5% 0.79547757
 
 Package
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.module org.qedeq.kernel.bo.module org.qedeq.kernel.bo.module 21.0 21 1.9923077 1.99 0.6334165 63.3% 0.6334165
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.service.control org.qedeq.kernel.bo.service.control org.qedeq.kernel.bo.service.control 17.0 17 2.3056235 2.31 0.67699116 67.7% 0.67699116
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.service.logic org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.logic 10.0 10 3.1705427 3.17 0.7065637 70.7% 0.7065637
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.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.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.latex org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.latex 6.0 6 3.5053763 3.51 0.80322826 80.3% 0.80322826
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.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.bo.service.dependency org.qedeq.kernel.bo.service.dependency org.qedeq.kernel.bo.service.dependency 6.0 6 1.9166666 1.92 0.84431136 84.4% 0.84431136
Cloud icon for org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.dao 4.0 4 1.8828828 1.88 0.85753053 85.8% 0.85753053
Cloud icon for org.qedeq.base.io org.qedeq.base.io org.qedeq.base.io 15.0 15 2.625 2.62 0.8624091 86.2% 0.8624091
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.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.4 1.4 0.92455417 92.5% 0.92455417
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.bo.common org.qedeq.kernel.bo.common org.qedeq.kernel.bo.common 15.0 15 1.0769231 1.08 0.9310345 93.1% 0.9310345
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
 
CloverReport generated by Clover Code Coverage v3.1.10
Fri May 24 2013 13:47:32 UTC.		   Clover: Open Source License registered to qedeq.org .