Skip to content
formal verification

memory --> calldata for read-only function params #5279

Sign in to view logs

memory --> calldata for read-only function params

memory --> calldata for read-only function params #5279

Triggered via pull request November 6, 2024 07:34
@abhi3700abhi3700
reopened #5293
abhi3700:issue-5291
Status Failure
Total duration 32s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
4s
apply-diff
verify
0s
verify
halmos
22s
halmos
Fit to window
Zoom out
Zoom in

Annotations

1 error
halmos
Process completed with exit code 1.