Skip to content
formal verification

Document voting counting until casted in GovernorCountingOverridable #5327

Sign in to view logs

Document voting counting until casted in GovernorCountingOverridable

Document voting counting until casted in GovernorCountingOverridable #5327

Triggered via pull request November 20, 2024 09:15
@ernestognwernestognw
labeled #5309
ernestognw:fix/l-04
Status Success
Total duration 1m 4s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
8s
apply-diff
verify
0s
verify
halmos
46s
halmos
Fit to window
Zoom out
Zoom in