Skip to content

Boogie

Compare
Choose a tag to compare
@github-actions github-actions released this 29 Nov 16:54
· 137 commits to master since this release
v3.0.8
14194ca
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode. 
Fix crashes with verification coverage + counterexamples (#817)

Previously, running Boogie with `/trackVerificationCoverage` and
`/enhancedErrorMessages:1` (or anything that leads to counterexample
parsing) would lead to crashes when verification failed. This fixes that
issue.
Assets 15
Loading