Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
HeuristicCheckerPluginTest | 4 | 0 | 0 | 10.028 | 2014-02-13T23:57:48 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testQedeqLogicScript1 | Success | 2.300 | |
testQedeqLogicScript2 | Success | 0.209 | |
testQedeqSetTheoryScript1 | Success | 6.760 | |
testQedeqSetTheoryScript2 | Success | 0.739 |