Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
ModusPonensVoTest | 6 | 0 | 0 | 0.171 | 2014-02-13T22:52:01 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testGetModusPonens | Success | 0.044 | |
testGetName | Success | 0.004 | |
testGetReference1 | Success | 0.004 | |
testGetReference2 | Success | 0.008 | |
testGetReferences | Success | 0.033 | |
testAll | Success | 0.014 |