Skip to content
formal verification

ERC7579.decodeBatch: Perform sanity check if executionCalldata is not at the end of allocated calldata #9750

Sign in to view logs

ERC7579.decodeBatch: Perform sanity check if executionCalldata is not at the end of allocated calldata

ERC7579.decodeBatch: Perform sanity check if executionCalldata is not at the end of allocated calldata #9750

Triggered via pull request March 3, 2026 10:40
@AmxxAmxx
synchronize #5400
Amxx:erc7579/sanity-check-loop
Status Success
Total duration 7m 14s
Artifacts –

formal-verification.yml

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