New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Implements an {:expect} attribute on an assert statement, which makes it compiled, if not ghost, as well as verified #3458

Closed

davidcok wants to merge 189 commits into dafny-lang:master from davidcok:cok-3410-assert-expect

Closed

Implements an {:expect} attribute on an assert statement, which makes it compiled, if not ghost, as well as verified #3458

Merge branch 'master' of https://github.com/dafny-lang/dafny

Loading branch information

davidcok committed Jul 15, 2022

commit c706f5d6cb3c8e16fbf86971414902121e755e56

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.