Name	Name	Last commit message	Last commit date
Latest commit peterschrammel Add travis configuration Dec 23, 2020 728456d · Dec 23, 2020 History 10 Commits
scripts	scripts	Sonatype release scripts	Dec 22, 2020
src/main/java/org/cprover	src/main/java/org/cprover	Rename getCurrentThreadID to getCurrentThreadId	Dec 22, 2020
.travis.yml	.travis.yml	Add travis configuration	Dec 23, 2020
LICENSE	LICENSE	Add LICENSE	Dec 21, 2020
README.md	README.md	Fix README	Dec 21, 2020
pom.xml	pom.xml	Development version 1.1.0-SNAPSHOT	Dec 22, 2020

Repository files navigation

CProver Java API of JBMC

This repository contains the sources for building a Java library (cprover-api.jar) that allows access to the CProver API of the Java model checking tool JBMC.

This library exposes functionality such as assume or nondetInt, which are useful for modelling verification harnesses for Java applications.