[
https://issues.apache.org/jira/browse/GROOVY-11890?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Paul King resolved GROOVY-11890.
--------------------------------
Fix Version/s: 6.0.0-alpha-1
Resolution: Fixed
> 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
> Assignee: Paul King
> Priority: Major
> Fix For: 6.0.0-alpha-1
>
>
> 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)
