This repo provides a working example for how to setup Recon on an existing repo forked from Uniswap V3 Core to start running Echidna Tests.
The tests are located in the test/recon directory and can be run from the root directory using:
echidna test/recon/CryticTester.sol --contract CryticTester --config echidna.yaml
All tests will pass in the default configuration, to verify that the tests verify the following invariant:
- If calling swap does not change the sqrtPriceX96, liquidity will not change
uncomment line 724 in the UniswapV3Pool contract using the same command.