| Designed for use with JUnit and Ant. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| MarkableLitsTest | 12 | 0 | 0 | 0.060 |
| Name | Status | Type | Time(s) |
|---|---|---|---|
| testInit | Success | 0.022 | |
| testSetMarkIntInt | Success | 0.000 | |
| testSetMarkInt | Success | 0.000 | |
| testGetMark | Success | 0.000 | |
| testIsMarked | Success | 0.000 | |
| testResetMark | Success | 0.001 | |
| testResetAllMarks | Success | 0.000 | |
| testGetMarkedLiterals | Success | 0.003 | |
| testGetMarkedLiteralsInt | Success | 0.000 | |
| testGetMarkedVariables | Success | 0.000 | |
| testGetMarkedVariablesInt | Success | 0.000 | |
| testGetMarks | Success | 0.001 |