foundry.toml

[profile.default]
src = "src"
out = "out"
libs = ["lib"]
solc = "0.8.24"
optimizer_runs = 10000
ignored_error_codes = ["unreachable"]
gas_reports = [
    "EthereumVaultConnector"
]
remappings = [
    "forge-std/=lib/forge-std/src/",
    "openzeppelin/=lib/openzeppelin-contracts/contracts"
]


[profile.default.fuzz]
max_test_rejects = 1_000_000
seed = "0xee1d0f7d9556539a9c0e26aed5e63556"
runs = 1000

[profile.default.invariant]
call_override = false # Override unsafe external calls to perform reentrancy checks
depth = 20
runs = 1000


[profile.default.fmt]
line_length = 120
tab_width = 4
bracket_spacing = false
int_types = "long"
multiline_func_header = "params_first"
quote_style = "double"
number_underscore = "preserve"
override_spacing = true
wrap_comments = true
ignore = [
    "test/evc/EthereumVaultConnectorScribble.sol"
]


[profile.default.doc]
out = "forgedoc"
title = "Ethereum Vault Connector (EVC)"
repository = "https://github.com/euler-xyz/ethereum-vault-connector"


[profile.smt.model_checker]
engine = "chc"
timeout = 100_000
contracts = {"./src/EthereumVaultConnector.sol" = ["EthereumVaultConnector"]}
invariants = ["contract", "reentrancy"]
targets = [
    "assert",
    "constantCondition",
    "divByZero",
    "outOfBounds",
    "overflow",
    "underflow",
]