Skip to content
formal verification

Document VotesExtended assumptions #5321

Sign in to view logs

Document VotesExtended assumptions

Document VotesExtended assumptions #5321

Triggered via pull request November 19, 2024 20:11
@AmxxAmxx
synchronize #5306
Amxx:fix/l-02
Status Success
Total duration 1m 10s
Artifacts –

formal-verification.yml

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