Skip to content

When splitting assertions, delete implicit assertions that would otherwise be converted to assumes#5721

Open
keyboardDrummer wants to merge 3 commits intodafny-lang:masterfrom keyboardDrummer:isolateWFness
+75-16

Commits

Commits on Aug 26, 2024