Written on
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.
