Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
AbstractStateTest | 7 | 0 | 0 | 0.047 | 2014-02-14T07:27:48 | vserver3141 |
DependencyStateTest | 7 | 0 | 0 | 0.048 | 2014-02-14T07:27:48 | vserver3141 |
FormallyProvedStateTest | 6 | 0 | 0 | 0.064 | 2014-02-14T07:27:49 | vserver3141 |
LoadingImportsStateTest | 7 | 0 | 0 | 0.084 | 2014-02-14T07:27:50 | vserver3141 |
LoadingStateTest | 6 | 0 | 0 | 0.089 | 2014-02-14T07:27:51 | vserver3141 |
WellFormedStateTest | 6 | 0 | 0 | 0.072 | 2014-02-14T07:27:52 | vserver3141 |