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

Application Packages
org.qedeq.kernel.bo (91.5%)
org.qedeq.kernel.bo.common (80.4%)
org.qedeq.kernel.bo.job (41.6%)
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 (86%)
org.qedeq.kernel.bo.service.heuristic (41.9%)
org.qedeq.kernel.bo.service.internal (65.3%)
org.qedeq.kernel.bo.service.latex (81.4%)
org.qedeq.kernel.bo.service.logic (73.2%)
org.qedeq.kernel.bo.service.unicode (76.8%)