Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
HeuristicCheckerPluginTest | 4 | 0 | 0 | 18.258 | 2014-02-14T03:08:08 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testQedeqLogicScript1 | Success | 2.803 | |
testQedeqLogicScript2 | Success | 0.328 | |
testQedeqSetTheoryScript1 | Success | 13.965 | |
testQedeqSetTheoryScript2 | Success | 1.147 |