Skip to content

Boogie

Compare
Choose a tag to compare
@github-actions github-actions released this 12 Oct 14:07
· 27 commits to master since this release
v3.3.2
398413d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode. 
No cache (#964)

### Changes
- Enable not using a verification result cache, using the new class
`EmptyVerificationResultCache`

### Testing
- Manually tried out using EmptyVerificationResultCache in Dafny, which
reduces memory pressure
Assets 16
Loading