Skip to content
formal verification

Move beneficiary zero address check to Ownable #2198

Sign in to view logs

Move beneficiary zero address check to Ownable

Move beneficiary zero address check to Ownable #2198

Triggered via pull request September 4, 2023 16:50
@frangiofrangio
synchronize #4531
NishantKoyalwar:master
Status Success
Total duration 19s
Artifacts –

formal-verification.yml

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