[
https://issues.apache.org/jira/browse/GROOVY-11890?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=18070162#comment-18070162
]
ASF GitHub Bot commented on GROOVY-11890:
-----------------------------------------
paulk-asert merged PR #2422:
URL: https://github.com/apache/groovy/pull/2422
> groovy-contracts could support "@Decreases"
> -------------------------------------------
>
> Key: GROOVY-11890
> URL: https://issues.apache.org/jira/browse/GROOVY-11890
> Project: Groovy
> Issue Type: Improvement
> Reporter: Paul King
> Priority: Major
>
> Looking at various Dafny examples, the next most used mechanism is
> _decreases_ typically related to the loop condition. groovy-contracts could
> support a @Decreases annotation that would allow such termination conditions
> to be asserted.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
