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].

Changes

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