| 1135472 |
invariant_callWithMinGas_neverForwardsMinGas_reverts() |
0x38c2d5aa |
| 1135471 |
performSafeCallMinGas(address,uint64) |
0x9741e3b3 |
| 1135470 |
invariant_callWithMinGas_alwaysForwardsMinGas_succeeds() |
0xd3c4e5c7 |
| 1135469 |
invariant_round_trip_encoding_BToA() |
0x4d2cf653 |
| 1135468 |
invariant_round_trip_encoding_AToB() |
0x41c8965e |
| 1135467 |
convertRoundTripBToA(uint256) |
0x871c9fbc |
| 1135466 |
convertRoundTripAToB(uint240,uint16) |
0xfac49bd5 |
| 1135465 |
test_validateMessage_succeeds(address,uint256,uint256,uint256,uint256,bytes32) |
0x862a90f6 |
| 1135464 |
test_emitLog_5topics_reverts() |
0xb20a6374 |
| 1135463 |
test_validateCommitment_succeeds() |
0xd6a607d8 |