| Class | Description |
|---|---|
| CheckerParameterized |
The custom runner
Parameterized implements parameterized tests. |
| CheckerTest |
Abstract class for testing a checker in the Checker Framework.
|
| ParameterizedCheckerTest | |
| TestInput | |
| TestRun | |
| TestUtilities |
| Annotation Type | Description |
|---|---|
| CheckerParameterized.Name |