echidna-config.yaml

workers: 1
testLimit: 50000
seqLen: 100

codeSize: 0x9000

solcArgs: "--optimize --optimize-runs 1000"

cryticArgs: [
    "--solc-remaps",
    "@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/
    @balancer-labs/v2-interfaces/=lib/balancer-v2-monorepo/pkg/interfaces/
    @balancer-labs/v2-pool-stable/=lib/balancer-v2-monorepo/pkg/pool-stable/
    @chainlink/contracts/=lib/chainlink/contracts/
    @uniswap/v3-periphery/=lib/v3-periphery/
    @uniswap/v3-core/=lib/v3-core/
    @openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/
    balancer-v2-monorepo/=lib/balancer-v2-monorepo/
    chainlink/=lib/chainlink/
    ds-test/=lib/forge-std/lib/ds-test/src/
    erc4626-tests/=lib/openzeppelin-contracts-upgradeable/lib/erc4626-tests/
    forge-std/=lib/forge-std/src/
    openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/
    openzeppelin-contracts/=lib/openzeppelin-contracts/
    solady/=lib/solady/
    solarray/=lib/solarray/src/",
  ]

prefix: "invariant_"

corpusDir: echidna-corpus

# testMode: assertion # turn off for properties

allContracts: false
filterBlacklist: false # if false, allows filterFunctions
filterFunctions:
  ["IonPool_Echidna.fuzzedFallback(uint128,uint128,uint128,uint128,uint256)"]