Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
QedeqBoFormalLogicCheckerDirectTest | 5 | 0 | 0 | 1.129 | 2014-02-14T01:44:38 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testNegative00 | Success | 0.557 | |
testNegative01 | Success | 0.045 | |
testNegative02 | Success | 0.276 | |
testNegative03 | Success | 0.111 | |
testNegative04 | Success | 0.122 |