I am proud to tell you that gcontracts 1.0.2 was released and pushed to the central Maven repository .
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!