Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
FormalProofCheckerPluginTest | 5 | 0 | 0 | 5.847 | 2014-02-14T01:44:31 | vserver3141 |
QedeqBoFormalLogicCheckerDirectTest | 5 | 0 | 0 | 1.129 | 2014-02-14T01:44:38 | vserver3141 |
QedeqBoFormalLogicCheckerTest | 1 | 0 | 0 | 1.452 | 2014-02-14T01:44:40 | vserver3141 |
SimpleProofFinderPluginTest | 3 | 0 | 0 | 158.563 | 2014-02-14T01:44:42 | vserver3141 |