Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
AbstractStateTest | 7 | 0 | 0 | 0.380 | 2014-02-13T22:52:37 | vserver3141 |
DependencyStateTest | 7 | 0 | 0 | 0.096 | 2014-02-13T22:52:39 | vserver3141 |
FormallyProvedStateTest | 6 | 0 | 0 | 0.172 | 2014-02-13T22:52:40 | vserver3141 |
LoadingImportsStateTest | 7 | 0 | 0 | 0.108 | 2014-02-13T22:52:42 | vserver3141 |
LoadingStateTest | 6 | 0 | 0 | 0.125 | 2014-02-13T22:52:44 | vserver3141 |
WellFormedStateTest | 6 | 0 | 0 | 0.221 | 2014-02-13T22:52:45 | vserver3141 |