Home > gcontracts, releases > gcontracts 1.0.2 Released!

gcontracts 1.0.2 Released!

I am proud to tell you that gcontracts 1.0.2 was released and pushed to the central Maven repository [0].

Grab gcontracts 1.0.2 by defining a Maven dependency [0] or by direct download from github’s download section [1].


gcontracts 1.0.2 fixes the following issues:

  • ISSUE-5: better AssertionError messages – the closure source of the invariant or pre/postcondition that failed has been added to the AssertionError message.
  • ISSUE-6: line numbers were added in the AssertionError stacktrace. Whenever an assertion fails the last line number guides directly to the condition that caused the AssertionError.
  • Bug fixes.

Special thanks to Hamlet D’Arcy and others for your contributions!

[0] gcontracts – Central Maven Repository
[1] gcontracts Available in Central Maven Repository
[2] gcontracts – Github Download Section

Categories: gcontracts, releases
  1. No comments yet.
  1. No trackbacks yet.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: