| 1206342 |
testPoolPriceWhenToken0HasThreeTimesToken1() |
0xe4590a61 |
| 1206341 |
testInitialPriceIsOne() |
0xc11f7a11 |
| 1206340 |
testInitialPoolPriceIsOne() |
0x82affe6e |
| 1206339 |
testInitialMintCustomLpTokensDoesNotAffectSwaps() |
0x5814ad7b |
| 1206338 |
invariant_I9_protocolFeeMonotonicity() |
0xfb9f487d |
| 1206337 |
invariant_I8_killedIsMonotonic() |
0x0faac97e |
| 1206336 |
invariant_I6_quoteExecuteParity() |
0x1c1f1676 |
| 1206335 |
invariant_I5_roundTripNonProfitable() |
0x13c5fbee |
| 1206334 |
invariant_I4_lpSolvency() |
0xc3e7f568 |
| 1206333 |
invariant_I3_noPrefundTheft() |
0xd1d9ea6e |