forked from Uniswap/v4-core
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathechidna.yaml
12 lines (10 loc) · 6.22 KB
/
echidna.yaml
1
2
3
4
5
6
7
8
9
10
11
12
testMode: "assertion"
prefix: "crytic_"
coverage: true
corpusDir: "echidna"
balanceAddr: 0x1043561a8829300000
# balanceContract: 0x1043561a8829300000
filterFunctions: []
cryticArgs: ["--foundry-compile-all"]
# works around implementation of deployCodeTo cheatcode not supported by Echidna, if Counter contract code is modified the bytecode passed in here needs to be change
deployBytecodes: [["0x4444000000000000000000000000000000000ac0", "608034605957601f610b9038819003918201601f19168301916001600160401b03831184841017605d57808492602094604052833981010312605957516001600160a01b03811603605957604051610b1e90816100728239f35b5f80fd5b634e487b7160e01b5f52604160045260245ffdfe6080806040526004361015610012575f80fd5b5f3560e01c90816317e858d3146107535750806321d0ee70146106e0578063259982e514610664578063575e24b4146105415780635c338d32146104fa578063702f1024146104b2578063759a708b1461046a578063b47b2fb11461034d578063c4e833ce146101cf578063c693995714610187578063d5523a601461013f578063dacdbe77146100f75763db6a9451146100ab575f80fd5b346100f35760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100f3576004355f526005602052602060405f2054604051908152f35b5f80fd5b346100f35760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100f3576004355f526001602052602060405f2054604051908152f35b346100f35760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100f3576004355f526006602052602060405f2054604051908152f35b346100f35760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100f3576004355f526004602052602060405f2054604051908152f35b346100f3575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100f3575f6101a06102096108d4565b8281528260208201528260408201528260608201528260808201528260a08201528260c08201528260e0820152826101008201528261012082015282610140820152826101608201528261018082015201526101c060206102686108d4565b5f8152818101905f82526040810160018152606082015f8152608083016001815260a084015f815260c085016001815260e0860190600182526101008701925f84526101208801945f86526101408901965f88526101608a01985f8a526101a06101808c019b5f8d52019b5f8d526040519d8e915f835251151591015251151560408d015251151560608c015251151560808b015251151560a08a015251151560c089015251151560e08801525115156101008701525115156101208601525115156101408501525115156101608401525115156101808301525115156101a0820152f35b346100f3576101607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100f357610385610797565b5060a07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc3601126100f35760607fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff3c3601126100f3576101443567ffffffffffffffff81116100f3576103fb9036906004016107db565b505060a061040836610942565b205f52600160205260405f2061041e8154610a8e565b905560a061042b36610942565b205f52600360205260e43560405f2055604080517fb47b2fb10000000000000000000000000000000000000000000000000000000081525f6020820152f35b346100f35760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100f3576004355f526007602052602060405f2054604051908152f35b346100f35760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100f3576004355f526002602052602060405f2054604051908152f35b346100f35760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100f3576004355f525f602052602060405f2054604051908152f35b346100f3576101407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100f357610579610797565b5060a07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc3601126100f35760607fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff3c3601126100f3576101243567ffffffffffffffff81116100f3576105ef9036906004016107db565b505060a06105fc36610942565b205f525f60205260405f206106118154610a8e565b905560a061061e36610942565b205f52600260205260e43560405f205560606040517f575e24b40000000000000000000000000000000000000000000000000000000081525f60208201525f6040820152f35b346100f35760406106a760a061067936610809565b5050939150826106893683610a09565b205f526004602052845f2061069e8154610a8e565b90553690610a09565b205f526006602052013560405f205560206040517f259982e5000000000000000000000000000000000000000000000000000000008152f35b346100f357604061071a60a06106f536610809565b5050939150826107053683610a09565b205f526005602052845f2061069e8154610a8e565b205f526007602052013560405f205560206040517f21d0ee70000000000000000000000000000000000000000000000000000000008152f35b346100f35760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126100f3576020906004355f526003825260405f20548152f35b6004359073ffffffffffffffffffffffffffffffffffffffff821682036100f357565b359073ffffffffffffffffffffffffffffffffffffffff821682036100f357565b9181601f840112156100f35782359167ffffffffffffffff83116100f357602083818601950101116100f357565b906101607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc8301126100f35760043573ffffffffffffffffffffffffffffffffffffffff811681036100f3579160a07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc8201126100f35760249160807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff3c8301126100f35760c491610144359067ffffffffffffffff82116100f3576108d0916004016107db565b9091565b604051906101c0820182811067ffffffffffffffff8211176108f557604052565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6040519060a0820182811067ffffffffffffffff8211176108f557604052565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc60a09101126100f357610974610922565b9060243573ffffffffffffffffffffffffffffffffffffffff811681036100f357825260443573ffffffffffffffffffffffffffffffffffffffff811681036100f357602083015260643562ffffff811681036100f35760408301526084358060020b81036100f357606083015260a43573ffffffffffffffffffffffffffffffffffffffff811681036100f3576080830152565b91908260a09103126100f357610a1d610922565b91610a27816107ba565b8352610a35602082016107ba565b6020840152604081013562ffffff811681036100f35760408401526060810135908160020b82036100f3576080916060850152013573ffffffffffffffffffffffffffffffffffffffff811681036100f3576080830152565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610abb5760010190565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffdfea2646970667358221220708e33ec16a391a03177346d07bd375800798202794f4a48fbdf66b3e4f4768464736f6c634300081a0033"]]