Clover Test Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
 
Project Tests Fail Error % Pass
Clover database Thu Feb 13 2014 22:53:34 UTC 657 657 0 0 0 0 10,270.918 100%
 
Packages Tests Fail Error % Pass
org.qedeq.kernel.bo.logic.proof.checkerorg.qedeq.kernel.bo.logic.proof.checker 3 3 0 0 0 0 2.9832.983 1.0100% 1.0
org.qedeq.kernel.bo.moduleorg.qedeq.kernel.bo.module 1 1 0 0 0 0 1665.8661,665.866 1.0100% 1.0
org.qedeq.kernel.bo.logic.proof.finderorg.qedeq.kernel.bo.logic.proof.finder 3 3 0 0 0 0 66.61166.611 1.0100% 1.0
org.qedeq.kernel.bo.logorg.qedeq.kernel.bo.log 34 34 0 0 0 0 0.2860.286 1.0100% 1.0
org.qedeq.kernel.bo.parserorg.qedeq.kernel.bo.parser 104 104 0 0 0 0 4.0969994.097 1.0100% 1.0
org.qedeq.kernel.bo.logic.commonorg.qedeq.kernel.bo.logic.common 7 7 0 0 0 0 0.2350.235 1.0100% 1.0
org.qedeq.kernel.bo.service.unicodeorg.qedeq.kernel.bo.service.unicode 31 31 0 0 0 0 22.95600122.956 1.0100% 1.0
org.qedeq.kernel.bo.service.internalorg.qedeq.kernel.bo.service.internal 10 10 0 0 0 0 0.0320.032 1.0100% 1.0
org.qedeq.kernel.bo.logicorg.qedeq.kernel.bo.logic 2 2 0 0 0 0 0.050.05 1.0100% 1.0
org.qedeq.kernel.bo.logic.wforg.qedeq.kernel.bo.logic.wf 12 12 0 0 0 0 9.479.47 1.0100% 1.0
org.qedeq.kernel.bo.service.basisorg.qedeq.kernel.bo.service.basis 40 40 0 0 0 0 1829.8951,829.895 1.0100% 1.0
org.qedeq.kernel.bo.service.latexorg.qedeq.kernel.bo.service.latex 24 24 0 0 0 0 6386.44246,386.442 1.0100% 1.0
org.qedeq.kernel.bo.commonorg.qedeq.kernel.bo.common 23 23 0 0 0 0 0.0350000040.035 1.0100% 1.0
org.qedeq.kernel.boorg.qedeq.kernel.bo 34 34 0 0 0 0 0.150.15 1.0100% 1.0
org.qedeq.kernel.bo.service.logicorg.qedeq.kernel.bo.service.logic 14 14 0 0 0 0 166.20801166.208 1.0100% 1.0
org.qedeq.kernel.bo.service.heuristicorg.qedeq.kernel.bo.service.heuristic 5 5 0 0 0 0 10.90810.908 1.0100% 1.0
org.qedeq.kernel.bo.logic.modelorg.qedeq.kernel.bo.logic.model 310 310 0 0 0 0 104.691986104.692 1.0100% 1.0