| 1206312 |
ghost_I8UnkillViolation() |
0xbb8ba30e |
| 1206311 |
ghost_I12Violated() |
0xf62681da |
| 1206310 |
burnSwapLpTheftAttempt(uint256,uint256,uint256,uint256) |
0xb899d7b9 |
| 1206309 |
burnLpTheftAttempt(uint256,uint256,uint256) |
0x0669c4f8 |
| 1206308 |
allowanceTheftAttempt(uint256,uint256,uint256,uint256,uint256) |
0x978e155e |
| 1206307 |
testFuzz_swap_roundTripNonProfitable(uint256,uint256,uint256) |
0xfeb3a830 |
| 1206306 |
testFuzz_swap_quoteParity(uint256,uint256,uint256) |
0x3692c927 |
| 1206305 |
testFuzz_swap_minAmountOutReverts(uint256,uint256,uint256) |
0x6a427e7d |
| 1206304 |
testFuzz_swap_lpFeeAccrual(uint256,uint256,uint256) |
0xeef6ef85 |
| 1206303 |
testFuzz_swap_10tokens_roundTrip(uint256,uint256,uint256) |
0x8476463e |