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 | |
|---|---|---|---|---|
GPL
| io.github.eisop
»
javacutil javacutil contains utility classes for the javac compiler. | 3.49.5-eisop1 | ✔ | |
MIT
| io.github.eisop
»
checker-qual checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by ... | 3.49.5-eisop1 | ✔ | |
Testing
EPL 2.0
| junit
»
junit JUnit Jupiter is the API for writing tests using JUnit 5. | 4.13.2 | 6.1.3 | |
MIT
| org.plumelib
»
plume-util Utility libraries for Java. Complements Guava, Apache Commons, Eclipse Collections, etc. | 1.11.0 | 2.0.0 |