Paul King created GROOVY-11890:
----------------------------------
Summary: 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
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)
