Skip to content
formal verification

fix: use msg.sender instead of _msgSender() in ERC20Bridgeable events #9240

Sign in to view logs

fix: use msg.sender instead of _msgSender() in ERC20Bridgeable events

fix: use msg.sender instead of _msgSender() in ERC20Bridgeable events #9240

halmos

halmos
succeeded Jan 3, 2026 in 6m 41s