formal verification

test: add decodeBatch error case coverage for ERC7579Utils #9233

Sign in to view logs

Triggered via pull request January 1, 2026 18:29

tr-Kalyan

synchronize #6251

tr-Kalyan:fix-erc7579-coverage

Status Success

Total duration 6m 54s

Artifacts –

formal-verification.yml

on: pull_request