Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Skipped | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|---|
CounterExampleGeneratorTest | 2 | 0 | 0 | 0 | 0.011 | 2024-04-16T22:17:06 | cruise |
Name | Status | Type | Time(s) |
---|---|---|---|
validateTable | Success | 0.007 | |
validateColumn | Success | 0.001 |