Skip to content
formal verification

Fix dirty bits in upper bits in implementation address in Clones.sol #4308

Sign in to view logs

Fix dirty bits in upper bits in implementation address in Clones.sol

Fix dirty bits in upper bits in implementation address in Clones.sol #4308

Triggered via pull request June 11, 2024 03:20
@ernestognwernestognw
synchronize #5069
Amxx:fix/dirty-upper-bits-in-clones
Status Success
Total duration 1m 8s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
2s
apply-diff
verify
0s
verify
halmos
59s
halmos
Fit to window
Zoom out
Zoom in