Unit Test Results.

Designed for use with JUnit and Ant.

Summary

TestsFailuresErrorsSuccess rateTime
81400100.00%10380.004
Note: failures are anticipated and checked for with assertions while errors are unanticipated.

Packages

NameTestsErrorsFailuresTime(s)Time StampHost
org.qedeq.kernel.bo34000.2932014-02-13T22:53:39vserver3141
org.qedeq.kernel.bo.common23002.0312014-02-13T22:53:41vserver3141
org.qedeq.kernel.bo.log34002.6862014-02-13T22:53:45vserver3141
org.qedeq.kernel.bo.logic2000.5672014-02-13T22:53:55vserver3141
org.qedeq.kernel.bo.logic.common7000.9272014-02-13T22:53:59vserver3141
org.qedeq.kernel.bo.logic.model31000171.7602014-02-13T22:54:02vserver3141
org.qedeq.kernel.bo.logic.proof.checker3003.4642014-02-13T22:57:10vserver3141
org.qedeq.kernel.bo.logic.proof.finder30067.2422014-02-13T22:57:16vserver3141
org.qedeq.kernel.bo.logic.wf1680016.3062014-02-13T22:58:24vserver3141
org.qedeq.kernel.bo.module1001666.1042014-02-13T22:58:57vserver3141
org.qedeq.kernel.bo.parser1040012.8792014-02-13T23:26:45vserver3141
org.qedeq.kernel.bo.service.basis40001834.4812014-02-13T23:27:06vserver3141
org.qedeq.kernel.bo.service.heuristic50011.3372014-02-13T23:57:46vserver3141
org.qedeq.kernel.bo.service.internal10000.2082014-02-13T23:57:59vserver3141
org.qedeq.kernel.bo.service.latex24006388.8322014-02-13T23:58:00vserver3141
org.qedeq.kernel.bo.service.logic1400166.9912014-02-14T01:44:31vserver3141
org.qedeq.kernel.bo.service.unicode310025.0032014-02-14T01:47:21vserver3141
org.qedeq.kernel.bo.test1008.8932014-02-14T01:47:48vserver3141