This is an automated email from the ASF dual-hosted git repository.
paulk pushed a change to branch master
in repository https://gitbox.apache.org/repos/asf/groovy.git
from c67a68d7a8 GROOVY-11884: Close gaps in Groovy annotation validation
add 113d01d45c GROOVY-11885: groovy-contacts could support scripts
No new revisions were added by this update.
Summary of changes:
.../src/main/java/groovy/contracts/Invariant.java | 2 +-
...osureExpressionEvaluationASTTransformation.java | 32 ++++++
.../contracts/generation/CandidateChecks.java | 17 ++-
.../contracts/tests/inv/LoopInvariantTests.groovy | 117 +++++++++++++++++++++
4 files changed, 166 insertions(+), 2 deletions(-)
