| ID | Text Signature | Bytes Signature |
|---|---|---|
| 1132694 | testExpectMultipleCallsWithDataAdditive() | 0x270bc295 |
| 1132692 | testExpectCallWithData() | 0x268100f8 |
| 1132690 | addHardGasLimit() | 0xa7d0ea87 |
| 1132689 | forwardPay() | 0xa401646e |
| 1132688 | testRandomAddress() | 0x85a27029 |
| 1132680 | testAssume(uint8) | 0x7061fe7f |
| 1132679 | testPrevrandaoSnapshotFuzzed(uint256) | 0x0f054da6 |
| 1132678 | testPrevrandaoFuzzed(uint256) | 0xe5681f0b |
| 1132677 | testPrevrandao() | 0x9ceee80c |
| 1132674 | testAssertEqNotEqArrays() | 0x146a013b |