Skip to content

Small overdue release

Latest
Latest
Compare
Choose a tag to compare
@nhatminhle nhatminhle released this 01 Feb 00:43
· 15 commits to master since this release
v1.3
c2070fe

Long overdue release. This is nothing much, really, but I decided to package a release so people using binaries can benefit from the important bug fix below (and to show that I'm still around and taking care of the project somewhat :).

  • Fixed a bug where using old in both @Ensures and @ThrowEnsures on a same method would make the instrumenter crash.
  • Re-added support for javac option passthrough (thanks to Liam Miller-Cushon).
  • Added support for Apache Ivy to retrieve dependencies (I'm still no good with Maven, sorry...).

As usual, these Cofoja JAR files should work with Java 6 and above.

UPDATE (2/7): The new binaries include a fix for an NPE that triggered when running in Eclipse (actually in non-Sun javac).

Assets 6
Loading