Skip to content
formal verification

Document VotesExtended assumptions #5363

Sign in to view logs

Document VotesExtended assumptions

Document VotesExtended assumptions #5363

Triggered via pull request November 22, 2024 15:47
@AmxxAmxx
synchronize #5306
Amxx:fix/l-02
Status Success
Total duration 1m 0s
Artifacts –

formal-verification.yml

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