Checker Framework Testing Library

Testlib is a collection of utility classes for testing checkers that use the Checker Framework.

License	GNU General Public License, version 2 (GPL2), with the classpath exception The MIT License
GroupId	org.checkerframework
ArtifactId	testlib
Last Version	2.5.4
Release Date	Aug 2, 2018
Type	jar
Description	Checker Framework Testing Library Testlib is a collection of utility classes for testing checkers that use the Checker Framework.
Project URL	https://checkerframework.org
Source Code Management	https://github.com/typetools/checker-framework.git

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

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.checkerframework/testlib/ -->
<dependency>
    <groupId>org.checkerframework</groupId>
    <artifactId>testlib</artifactId>
    <version>2.5.4</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.checkerframework/testlib/
implementation 'org.checkerframework:testlib:2.5.4'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.checkerframework/testlib/
implementation ("org.checkerframework:testlib:2.5.4")

Apache Buildr

'org.checkerframework:testlib:jar:2.5.4'

Apache Ivy

<dependency org="org.checkerframework" name="testlib" rev="2.5.4">
  <artifact name="testlib" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.checkerframework', module='testlib', version='2.5.4')
)

Scala SBT

libraryDependencies += "org.checkerframework" % "testlib" % "2.5.4"

Leiningen

[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.

Please 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/.

Versions

Version
2.5.4 Aug 2, 2018
2.5.3 Jul 2, 2018
2.5.2 Jun 1, 2018
2.5.1 May 1, 2018