Contracts for Java
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.)
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/84rrnyj8hjhy09hil4q24x37pp0agmr5-java-cofoja-1.3.drv | ||
i686-linux | /gnu/store/7qpy5l9jkbcwwsa609blgy4v40av2wid-java-cofoja-1.3.drv |
Linter | Message | Location |
---|---|---|
derivation Report failure to compile a package to a derivation | failed to create mips64el-linux derivation: (match-error "match" "no matching pattern" "mips64el-linux") |