Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
AddVoTest | 4 | 0 | 0 | 0.049 | 2014-02-14T07:27:01 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testGetName | Success | 0.018 | |
testGetModusPonens | Success | 0.003 | |
testGetReferences | Success | 0.007 | |
testAll | Success | 0.006 |