framework-test contains utility classes for testing type-checkersthat are built on the Checker Framework.
Compile Dependencies (0)
| Category/License | Group / Artifact | Version | Updates |
|---|
Runtime Dependencies (4)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Testing
EPL 2.0
| junit
»
junit JUnit Jupiter is the API for writing tests using JUnit 5. | 4.13.2 | 6.0.3 | |
GPL
| org.checkerframework
»
javacutil javacutil contains utility classes for the javac compiler. | 3.48.2 | 4.1.0 | |
Defect Detection
MIT
| org.checkerframework
»
checker-qual checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by ... | 3.48.2 | 4.1.0 | |
MIT
| org.plumelib
»
plume-util Utility libraries for Java. Complements Guava, Apache Commons, Eclipse Collections, etc. | 1.10.0 | 1.14.0 |
