java-cofoja 1.3 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.)
- Website: https://github.com/nhatminhle/cofoja
- License: LGPL 3+
- Package source: java.scm
- Patches: None
- Builds: x86_64-linux, i686-linux