Found 3 resultsSort by:Relevance▼
Sort by:Relevance▼
framework-test contains utility classes for testing type-checkersthat are built on the Checker Framework.
Last Release on Apr 27, 2026
The Checker Framework enhances Java's type system to
make it more powerful and useful. This lets software developers
detect and prevent errors in their Java programs.
Last Release on May 27, 2019
The Checker Framework enhances Java's type system to
make it more powerful and useful. This lets software developers
detect and prevent errors in their Java programs.
Last Release on May 27, 2019
- Prev
- 1
- Next