Skip to content
Certora

Check non-view non-multicall functions are protected #6

Sign in to view logs

Check non-view non-multicall functions are protected

Check non-view non-multicall functions are protected #6

Triggered via pull request October 30, 2024 18:43
@adhussonadhusson
synchronize #461
feat/certora
Status Success
Total duration 7m 57s
Artifacts –

certora.yml

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