Skip to content

fix(utils/Create3): correct verb form in _computeCreateAddress NatSpec #10218

fix(utils/Create3): correct verb form in _computeCreateAddress NatSpec

fix(utils/Create3): correct verb form in _computeCreateAddress NatSpec #10218

Triggered via pull request May 17, 2026 19:48
Status Cancelled
Total duration 1s
Artifacts

formal-verification.yml

on: pull_request
apply-diff
apply-diff
halmos
halmos
verify
verify
Fit to window
Zoom out
Zoom in

Annotations

1 error
formal verification
Canceling since a higher priority waiting request for formal verification-refs/pull/6527/merge exists