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

Triggered via pull request January 3, 2026 21:28
@PivasDesantPivasDesant
opened #6258
PivasDesant:fix/erc20-bridgeable-msg-sender-events
Status Success
Total duration 6m 46s
Artifacts –

formal-verification.yml

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