Isolate all implicit assertions #5689
Labels
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
misc: brittleness
When Dafny sometimes proves something, and sometimes doesn't
No description provided.
The text was updated successfully, but these errors were encountered: