ID Text Signature Bytes Signature
1135514 messageQueueLength() 0x88808234
1135511 messageQueue(uint256) 0x29aa604b
1135510 _deployRemoteToken() 0xb028c96a
1135509 handler_supERC20Approve(uint256,uint256,uint256) 0x908a24e8
1135507 handler_supERC20Transfer(uint256,uint256,uint256) 0x9db15f20
1135506 handler_mintSupertoken(uint256,uint96) 0x700e8e2d
1135501 invariant_handlerAssertions() 0x52909372
1135500 invariant_totalSupplyAcrossChainsEqualsMintsWhenQueueIsEmpty() 0xd0b2e7af
1135497 invariant_gasLimitBoundaries() 0x09287c33
1135496 invariant_round_trip_aliasing() 0x0e80eba6