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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
halmos
6m 41s
apply-diff
5s
verify
0s
6m 46s