JarCastingPlease see the Checker Framework manual (HTML, PDF).
The history of releases and changes is in file changelog.txt.
Documentation for Checker Framework developers is in directory docs/developer/.
Checker Framework Testing Library
Testlib is a collection of utility classes for testing checkers that use the Checker Framework.
| License |
License |
|---|---|
| GroupId | GroupIdorg.checkerframework |
| ArtifactId | ArtifactIdtestlib |
| Last Version | Last Version2.5.4 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
DescriptionChecker Framework Testing Library
Testlib is a collection of utility classes for testing checkers that use the Checker Framework.
|
| Project URL |
Project URL |
| Source Code Management |
Source Code Management |
Download testlib
| Filename | Size |
|---|---|
| testlib-2.5.4.pom | |
| testlib-2.5.4.jar | 49 KB |
| testlib-2.5.4-sources.jar | 33 KB |
| testlib-2.5.4-javadoc.jar | 104 KB |
| Browse |
How to add to project
<!-- https://jarcasting.com/artifacts/org.checkerframework/testlib/ -->
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>testlib</artifactId>
<version>2.5.4</version>
</dependency>// https://jarcasting.com/artifacts/org.checkerframework/testlib/
implementation 'org.checkerframework:testlib:2.5.4'// https://jarcasting.com/artifacts/org.checkerframework/testlib/
implementation ("org.checkerframework:testlib:2.5.4")'org.checkerframework:testlib:jar:2.5.4'<dependency org="org.checkerframework" name="testlib" rev="2.5.4">
<artifact name="testlib" type="jar" />
</dependency>@Grapes(
@Grab(group='org.checkerframework', module='testlib', version='2.5.4')
)libraryDependencies += "org.checkerframework" % "testlib" % "2.5.4"[org.checkerframework/testlib "2.5.4"]Dependencies
compile (2)
| Group / Artifact | Type | Version |
|---|---|---|
| org.checkerframework : javacutil | jar | 2.5.4 |
| junit : junit | jar | 4.12 |
Project Modules
There are no modules declared in this project.
