Skip to content
formal verification

Note low level return data size check #9918

Sign in to view logs

Note low level return data size check

Note low level return data size check #9918

Triggered via pull request March 24, 2026 17:27
@james-toussaintjames-toussaint
opened #6434
james-toussaint:chore/low-level-returndata
Status Success
Total duration 14m 40s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
6s
apply-diff
verify
0s
verify
halmos
7m 17s
halmos
Fit to window
Zoom out
Zoom in