Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
QedeqBoFormalLogicCheckerDirectTest | 5 | 0 | 0 | 1.404 | 2014-02-14T07:16:42 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testNegative00 | Success | 0.439 | |
testNegative01 | Success | 0.071 | |
testNegative02 | Success | 0.387 | |
testNegative03 | Success | 0.248 | |
testNegative04 | Success | 0.239 |