Checker Framework Testing Library

framework-test contains utility classes for testing type-checkers that are built on the Checker Framework.

License

License

GroupId

GroupId

org.checkerframework
ArtifactId

ArtifactId

framework-test
Last Version

Last Version

3.22.2
Release Date

Release Date

Type

Type

jar
Description

Description

Checker Framework Testing Library
framework-test contains utility classes for testing type-checkers that are built on the Checker Framework.
Project URL

Project URL

https://checkerframework.org
Source Code Management

Source Code Management

https://github.com/typetools/checker-framework.git

Download framework-test

How to add to project

<!-- https://jarcasting.com/artifacts/org.checkerframework/framework-test/ -->
<dependency>
    <groupId>org.checkerframework</groupId>
    <artifactId>framework-test</artifactId>
    <version>3.22.2</version>
</dependency>
// https://jarcasting.com/artifacts/org.checkerframework/framework-test/
implementation 'org.checkerframework:framework-test:3.22.2'
// https://jarcasting.com/artifacts/org.checkerframework/framework-test/
implementation ("org.checkerframework:framework-test:3.22.2")
'org.checkerframework:framework-test:jar:3.22.2'
<dependency org="org.checkerframework" name="framework-test" rev="3.22.2">
  <artifact name="framework-test" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.checkerframework', module='framework-test', version='3.22.2')
)
libraryDependencies += "org.checkerframework" % "framework-test" % "3.22.2"
[org.checkerframework/framework-test "3.22.2"]

Dependencies

runtime (4)

Group / Artifact Type Version
junit : junit jar 4.13.2
org.checkerframework : javacutil jar 3.22.2
org.checkerframework : checker-qual jar 3.22.2
org.plumelib : plume-util jar 1.5.8

Project Modules

There are no modules declared in this project.
org.checkerframework

Versions

Version
3.22.2
3.22.1
3.22.0
3.21.4
3.21.3
3.21.2
3.21.1
3.21.0
3.20.0
3.19.0
3.18.1
3.18.0
3.17.0
3.16.0
3.15.0
3.14.0
3.13.0
3.12.0
3.11.0
3.10.0
3.9.1
3.9.0
3.8.0
3.7.1
3.7.0
3.6.1
3.6.0
3.5.0
3.4.1
3.4.0
3.3.0
3.2.0
3.1.1
3.1.0
3.0.1
3.0.0
2.11.1
2.11.0
2.10.1
2.10.0
2.9.0
2.8.2
2.8.1
2.8.0
2.7.0
2.6.0
2.5.8
2.5.7
2.5.6
2.5.5