Skip to content

fix: Count proof obligations of loop headers#3244

Merged
RustanLeino merged 3 commits intodafny-lang:masterfrom RustanLeino:issue-3243Dec 22, 2022
+39-1

Commits

Commits on Dec 21, 2022

Commits on Dec 22, 2022