Language

Package: java-cofoja @ 1.3

Synopsis

Contracts for Java

Description

Contracts for Java, or Cofoja for short, is a contract programming framework and test tool for Java, which uses annotation processing and bytecode instrumentation to provide run-time checking. (In particular, this is not a static analysis tool.)

Home page
https://github.com/nhatminhle/cofoja
Location
gnu/packages/java.scm (line: 8717, column: 2)
License

Lint warnings

LinterMessageLocation
derivation

Report failure to compile a package to a derivation

failed to create mips64el-linux derivation: (match-error "match" "no matching pattern" "mips64el-linux")