| 1135492 |
invariant_never_underflow() |
0xd2f6309a |
| 1135491 |
invariant_never_exceed_max_decrease() |
0x0424afc3 |
| 1135490 |
invariant_never_exceed_max_increase() |
0x6920cea4 |
| 1135489 |
invariant_never_above_max_gas_limit() |
0xc2165dc6 |
| 1135488 |
invariant_never_below_min_baseFee() |
0x8b399f95 |
| 1135487 |
invariant_low_usage_lower_baseFee() |
0xf1491795 |
| 1135486 |
invariant_high_usage_raise_baseFee() |
0x63999a0d |
| 1135485 |
_burnInternal(uint64) |
0x1b9d9cee |
| 1135484 |
invariant_mintburn_maintainsBalance() |
0x899490d3 |
| 1135483 |
invariant_sendERC20_succeeds() |
0xbdb70723 |