Skip to content
formal verification

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

Sign in to view logs

memory --> calldata for read-only function params

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

Triggered via pull request November 5, 2024 20:26
@abhi3700abhi3700
opened #5293
abhi3700:issue-5291
Status Failure
Total duration 35s
Artifacts –

formal-verification.yml

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

Annotations

1 error
halmos
Process completed with exit code 1.