You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
kind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafnypart: language definitionRelating to the Dafny language definition itself
A greatest predicate currently does not support twostate. It could, in principle, so I'll mark this issue as a feature request. It's not common for least/greatest predicates to make any use of the heap.
kind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafnypart: language definitionRelating to the Dafny language definition itself
Are twostate greatest predicates supported? The following program fails with
Error: lemma expected
.The text was updated successfully, but these errors were encountered: