Skip to content

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

memory --> calldata for read-only function params

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

Triggered via pull request November 6, 2024 07:47
Status Failure
Total duration 25s
Artifacts

formal-verification.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
halmos
Process completed with exit code 1.