| 1135495 |
convertRoundTrip(address) |
0xc009306d |
| 1135493 |
burnEth(uint256) |
0x680b376a |
| 1135492 |
invariant_never_underflow() |
0xd2f6309a |
| 1135491 |
invariant_never_exceed_max_decrease() |
0x0424afc3 |
| 1135490 |
invariant_never_exceed_max_increase() |
0x6920cea4 |
| 1135486 |
invariant_high_usage_raise_baseFee() |
0x63999a0d |
| 1135484 |
invariant_mintburn_maintainsBalance() |
0x899490d3 |
| 1135483 |
invariant_sendERC20_succeeds() |
0xbdb70723 |
| 1135481 |
invariant_hash_xdomain_msg_0() |
0xe1409f72 |
| 1135479 |
invariant_faultDisputeGame_solvency() |
0xbc31b108 |