Giters

io7m / jaffirm

Simple and fast contract checks

Home Page:https://www.io7m.com/software/jaffirm

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

preconditionpostconditioninvariantcontractjava

jaffirm

Maven Central Maven Central (snapshot) Codecov

com.io7m.jaffirm

JVM Platform Status
OpenJDK (Temurin) Current Linux Build (OpenJDK (Temurin) Current, Linux)
OpenJDK (Temurin) LTS Linux Build (OpenJDK (Temurin) LTS, Linux)
OpenJDK (Temurin) Current Windows Build (OpenJDK (Temurin) Current, Windows)
OpenJDK (Temurin) LTS Windows Build (OpenJDK (Temurin) LTS, Windows)

About

Simple and fast contract checks

https://www.io7m.com/software/jaffirm

preconditionpostconditioninvariantcontractjava

License:ISC License

Languages

Language:Java 100.0%Language:CSS 0.0%