Skip to content
Certora

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

Sign in to view logs

Check non-view non-multicall functions are protected

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

Triggered via pull request October 31, 2024 14:32
@adhussonadhusson
synchronize #461
feat/certora
Status Success
Total duration 6m 3s
Artifacts –

certora.yml

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