| Designed for use with JUnit and Ant. |
| Tests | Failures | Errors | Success rate | Time |
|---|---|---|---|---|
| 68 | 0 | 0 | 100.00% | 0.522 |
| Note: failures are anticipated and checked for with assertions while errors are unanticipated. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| automata | 18 | 0 | 0 | 0.156 |
| bdd | 5 | 0 | 0 | 0.011 |
| mona | 3 | 0 | 0 | 0.102 |
| parser | 37 | 0 | 0 | 0.194 |
| tree | 5 | 0 | 0 | 0.059 |