Clover Coverage Report
Dashboard
Coverage Reports
Coverage (Aggregate)
Test Code (Aggregate)
Test Results

Application Packages
com.sun.syndication.io (41.8%)
org.qedeq.base.io (85.9%)
org.qedeq.base.trace (92.7%)
org.qedeq.base.utility (91.3%)
org.qedeq.kernel.bo (91.5%)
org.qedeq.kernel.bo.common (80.4%)
org.qedeq.kernel.bo.job (41.3%)
org.qedeq.kernel.bo.log (89.2%)
org.qedeq.kernel.bo.logic (68.6%)
org.qedeq.kernel.bo.logic.common (67.1%)
org.qedeq.kernel.bo.logic.model (75.7%)
org.qedeq.kernel.bo.logic.proof.checker (55.1%)
org.qedeq.kernel.bo.logic.proof.common (100%)
org.qedeq.kernel.bo.logic.proof.finder (70.8%)
org.qedeq.kernel.bo.logic.wf (91%)
org.qedeq.kernel.bo.module (71.8%)
org.qedeq.kernel.bo.parser (80.8%)
org.qedeq.kernel.bo.service.basis (80.2%)
org.qedeq.kernel.bo.service.dependency (85.1%)
org.qedeq.kernel.bo.service.heuristic (41.9%)
org.qedeq.kernel.bo.service.internal (65.4%)
org.qedeq.kernel.bo.service.latex (81.4%)
org.qedeq.kernel.bo.service.logic (73.2%)
org.qedeq.kernel.bo.service.unicode (76.8%)
org.qedeq.kernel.se.base.list ( - )
org.qedeq.kernel.se.base.module ( - )
org.qedeq.kernel.se.common (95.5%)
org.qedeq.kernel.se.config (97.8%)
org.qedeq.kernel.se.dto.list (100%)
org.qedeq.kernel.se.dto.module (100%)
org.qedeq.kernel.se.state (100%)
org.qedeq.kernel.se.visitor (98.1%)
org.qedeq.kernel.xml.common (77.8%)
org.qedeq.kernel.xml.dao (89.3%)
org.qedeq.kernel.xml.handler.common (73.8%)
org.qedeq.kernel.xml.handler.list (76.7%)
org.qedeq.kernel.xml.handler.module (86.6%)
org.qedeq.kernel.xml.handler.parser (70.8%)
org.qedeq.kernel.xml.mapper (92.2%)
org.qedeq.kernel.xml.parser (74.4%)
org.qedeq.kernel.xml.tracker (79.7%)