Skip to content

Making contracts memory-safe #368

Making contracts memory-safe

Making contracts memory-safe #368

Triggered via pull request December 22, 2023 06:37
Status Success
Total duration 22m 16s
Artifacts

certora.yml

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