Skip to content
certora

Update comments in SignatureVerifierMuxer to reflect correct byte ranges for encodeData and payload lengths #848

Sign in to view logs

Update comments in SignatureVerifierMuxer to reflect correct byte ranges for encodeData and payload lengths

Update comments in SignatureVerifierMuxer to reflect correct byte ranges for encodeData and payload lengths #848

Triggered via pull request January 9, 2025 14:51
@mmv08mmv08
synchronize #873
fix/incorrect-length-comment-svm
Status Success
Total duration 11m 3s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
verify (safeToL2Setup)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (signatures)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (nativeTokenRefund)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (safeToL2Migration)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (module)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (safeMigration)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (safe)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (owner)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636