TickOverflowSafetyEchidnaTest

State Variables

MIN_TICK

int24 private constant MIN_TICK = -16;

MAX_TICK

int24 private constant MAX_TICK = 16;

pool

Pool.State private pool;

tick

int24 private tick = 0;

feeGrowthGlobal0X128

uint256 feeGrowthGlobal0X128 = type(uint256).max / 2;

feeGrowthGlobal1X128

uint256 feeGrowthGlobal1X128 = type(uint256).max / 2;

totalLiquidity

int256 totalLiquidity = 0;

totalGrowth0

uint256 private totalGrowth0 = 0;

totalGrowth1

uint256 private totalGrowth1 = 0;

Functions

increaseFeeGrowthGlobal0X128

function increaseFeeGrowthGlobal0X128(uint256 amount) external;

increaseFeeGrowthGlobal1X128

function increaseFeeGrowthGlobal1X128(uint256 amount) external;

setPosition

function setPosition(int24 tickLower, int24 tickUpper, int128 liquidityDelta) external;

moveToTick

function moveToTick(int24 target) external;