Designed for use with JUnit and Ant. |
Tests | Failures | Errors | Success rate | Time |
---|---|---|---|---|
814 | 0 | 0 | 100.00% | 10380.004 |
Note: failures are anticipated and checked for with assertions while errors are unanticipated. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
org.qedeq.kernel.bo | 34 | 0 | 0 | 0.293 | 2014-02-13T22:53:39 | vserver3141 |
org.qedeq.kernel.bo.common | 23 | 0 | 0 | 2.031 | 2014-02-13T22:53:41 | vserver3141 |
org.qedeq.kernel.bo.log | 34 | 0 | 0 | 2.686 | 2014-02-13T22:53:45 | vserver3141 |
org.qedeq.kernel.bo.logic | 2 | 0 | 0 | 0.567 | 2014-02-13T22:53:55 | vserver3141 |
org.qedeq.kernel.bo.logic.common | 7 | 0 | 0 | 0.927 | 2014-02-13T22:53:59 | vserver3141 |
org.qedeq.kernel.bo.logic.model | 310 | 0 | 0 | 171.760 | 2014-02-13T22:54:02 | vserver3141 |
org.qedeq.kernel.bo.logic.proof.checker | 3 | 0 | 0 | 3.464 | 2014-02-13T22:57:10 | vserver3141 |
org.qedeq.kernel.bo.logic.proof.finder | 3 | 0 | 0 | 67.242 | 2014-02-13T22:57:16 | vserver3141 |
org.qedeq.kernel.bo.logic.wf | 168 | 0 | 0 | 16.306 | 2014-02-13T22:58:24 | vserver3141 |
org.qedeq.kernel.bo.module | 1 | 0 | 0 | 1666.104 | 2014-02-13T22:58:57 | vserver3141 |
org.qedeq.kernel.bo.parser | 104 | 0 | 0 | 12.879 | 2014-02-13T23:26:45 | vserver3141 |
org.qedeq.kernel.bo.service.basis | 40 | 0 | 0 | 1834.481 | 2014-02-13T23:27:06 | vserver3141 |
org.qedeq.kernel.bo.service.heuristic | 5 | 0 | 0 | 11.337 | 2014-02-13T23:57:46 | vserver3141 |
org.qedeq.kernel.bo.service.internal | 10 | 0 | 0 | 0.208 | 2014-02-13T23:57:59 | vserver3141 |
org.qedeq.kernel.bo.service.latex | 24 | 0 | 0 | 6388.832 | 2014-02-13T23:58:00 | vserver3141 |
org.qedeq.kernel.bo.service.logic | 14 | 0 | 0 | 166.991 | 2014-02-14T01:44:31 | vserver3141 |
org.qedeq.kernel.bo.service.unicode | 31 | 0 | 0 | 25.003 | 2014-02-14T01:47:21 | vserver3141 |
org.qedeq.kernel.bo.test | 1 | 0 | 0 | 8.893 | 2014-02-14T01:47:48 | vserver3141 |