Skip to content
Back to pull request #5400

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

halmos

halmos
succeeded Mar 3, 2026 in 7m 9s