Skip to content
formal verification

Fix typo in AccessManaged.sol #3597

Sign in to view logs

Fix typo in AccessManaged.sol

Fix typo in AccessManaged.sol #3597

Triggered via pull request February 12, 2024 16:12
@ernestognwernestognw
labeled #4890
eltociear:patch-2
Status Success
Total duration 12s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
3s
apply-diff
verify
0s
verify
Fit to window
Zoom out
Zoom in