Skip to content

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

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

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

Triggered via pull request June 7, 2024 19:59
Status Success
Total duration 1m 2s
Artifacts

formal-verification.yml

on: pull_request
Fit to window
Zoom out
Zoom in