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

Annotations

1 error

halmos

halmos
failed Nov 5, 2024 in 23s