-
Notifications
You must be signed in to change notification settings - Fork 16
/
echidna.yaml
8 lines (8 loc) · 1.37 KB
/
echidna.yaml
1
2
3
4
5
6
7
8
testMode: "assertion"
prefix: "property_"
coverage: true
stopOnFail: true
corpusDir: "echidna"
codeSize: 0xffffff
cryticArgs: ["--compile-libraries=(Errors,0x10),(UpdateConfig,0x11),(Deposit,0x12),(Withdraw,0x13),(Initialize,0x14),(Events,0x15),(Multicall,0x16),(DepositTokenLibrary,0x17),(OfferLibrary,0x18),(CapsLibrary,0x19),(LoanLibrary,0x1a),(RiskLibrary,0x1b),(LiquidateWithReplacement,0x1c),(Claim,0x1d),(Compensate,0x1e),(SellCreditLimit,0x1f),(BuyCreditMarket,0x20),(Liquidate,0x21),(Repay,0x22),(SellCreditMarket,0x23),(SelfLiquidate,0x24),(BuyCreditLimit,0x25),(SetUserConfiguration,0x26),(YieldCurveLibrary,0x27),(AccountingLibrary,0x28),(Math,0x29),(YieldCurveHelper,0x2a)","--foundry-compile-all"]
deployContracts: [["0x10", "Errors"],["0x11", "UpdateConfig"],["0x12", "Deposit"],["0x13", "Withdraw"],["0x14", "Initialize"],["0x15", "Events"],["0x16", "Multicall"],["0x17", "DepositTokenLibrary"],["0x18", "OfferLibrary"],["0x19", "CapsLibrary"],["0x1a", "LoanLibrary"],["0x1b", "RiskLibrary"],["0x1c", "LiquidateWithReplacement"],["0x1d", "Claim"],["0x1e", "Compensate"],["0x1f", "SellCreditLimit"],["0x20", "BuyCreditMarket"],["0x21", "Liquidate"],["0x22", "Repay"],["0x23", "SellCreditMarket"],["0x24", "SelfLiquidate"],["0x25", "BuyCreditLimit"],["0x26", "SetUserConfiguration"],["0x27", "YieldCurveLibrary"],["0x28", "AccountingLibrary"],["0x29", "Math"],["0x2a", "YieldCurveHelper"]]