echidna.yaml

testMode: "assertion"
prefix: "optimize_"
coverage: true
corpusDir: "echidna"
balanceAddr: 0x1043561a8829300000
balanceContract: 0x1043561a8829300000
filterFunctions: []
cryticArgs:
  - "--compile-force-framework"
  - "solc"
  - "--solc-remaps"
  - "@superform-v2-core/=lib/v2-core/ @openzeppelin/contracts/=lib/v2-core/lib/openzeppelin-contracts/contracts/ @openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/ @chimera/=lib/setup-helpers/lib/chimera/src/ @recon/=lib/setup-helpers/src/ excessivelySafeCall/=lib/v2-core/lib/ExcessivelySafeCall/src/ modulekit/=lib/v2-core/lib/modulekit/src/ @prb/math/=lib/v2-core/lib/modulekit/node_modules/@prb/math/src/ @solady/=lib/v2-core/lib/solady/ @account-abstraction/=lib/v2-core/lib/modulekit/node_modules/account-abstraction/contracts/ @ERC4337/=lib/v2-core/lib/modulekit/node_modules/@ERC4337/ @pigeon/=lib/v2-core/lib/pigeon/src/ @surl/=lib/v2-core/lib/surl/src/ @stringutils/=lib/v2-core/lib/solidity-stringutils/src/ @pendle/=lib/v2-core/lib/pendle-core-v2-public/contracts/ @safe/=lib/v2-core/lib/safe-smart-account/contracts/ @safe7579/=lib/v2-core/lib/safe7579/src/ @nexus/=lib/v2-core/lib/nexus/contracts/ @properties-7540/=lib/erc7540-reusable-properties/src/ sentinellist/=lib/v2-core/lib/nexus/node_modules/sentinellist/src/ solady/=lib/v2-core/lib/solady/src/ solarray/=lib/v2-core/lib/nexus/node_modules/solarray/src/ account-abstraction/=lib/v2-core/lib/modulekit/node_modules/@ERC4337/account-abstraction/contracts/ account-abstraction-v0.6/=lib/v2-core/lib/modulekit/node_modules/@ERC4337/account-abstraction-v0.6/contracts/ excessively-safe-call/=lib/v2-core/lib/ExcessivelySafeCall/src/ composability/=lib/v2-core/lib/nexus/node_modules/@biconomy/composability/contracts/ erc7739Validator/=lib/v2-core/lib/nexus/node_modules/erc7739-validator-base/src/ test/mock_fiattoken/=lib/v2-core/lib/evm-gateway-contracts/test/mock_fiattoken/ @rhinestone/erc4337-validation/=lib/v2-core/lib/modulekit/node_modules/@rhinestone/erc4337-validation/ erc4337-validation/=lib/v2-core/lib/modulekit/node_modules/@rhinestone/erc4337-validation/src/ forge-std/=lib/forge-std/src/ halmos-cheatcodes/=lib/openzeppelin-contracts-upgradeable/lib/halmos-cheatcodes/src/"
deployer: "0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496"
contractAddr: "0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496"
shrinkLimit: 100000