Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
FormalProofCheckerPluginTest | 5 | 0 | 0 | 10.061 | 2014-02-14T07:16:32 | vserver3141 |
QedeqBoFormalLogicCheckerDirectTest | 5 | 0 | 0 | 1.404 | 2014-02-14T07:16:42 | vserver3141 |
QedeqBoFormalLogicCheckerTest | 1 | 0 | 0 | 1.483 | 2014-02-14T07:16:45 | vserver3141 |
SimpleProofFinderPluginTest | 3 | 0 | 0 | 554.315 | 2014-02-14T07:16:47 | vserver3141 |