Skip to content

Boogie

Compare
Choose a tag to compare
@github-actions github-actions released this 13 May 22:39
· 11 commits to master since this release
v3.5.3
0a83dc2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
Avoid adding duplicate coverage IDs (#1019)

Previously, if a program element happened to already be labeled with the
label that's auto-generated for another element, Boogie would fail when
adding an already-existing key to the coverage tracking map.
Assets 16
Loading