Skip to content

Boogie

Compare
Choose a tag to compare
@github-actions github-actions released this 02 Feb 18:03
· 30 commits to master since this release
v3.0.11
fbf1aa2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode. 
Verification task per split (#841)

Dependent Dafny PR: https://github.com/dafny-lang/dafny/pull/5031

### Changes
- Change the API `executionEngine.GetImplementationTasks` to
`executionEngine.GetVerificationTasks`, which returns a task for each
statically defined assertion batch. When using the split on every assert
option, this will return a verification task for each assertion.

### Testing
- Added test SplitOnEveryAssertion

---------

Co-authored-by: Aaron Tomb <aarotomb@amazon.com>
Assets 15