Dullahan/foundry.toml at main · TreveeXYZ/Dullahan · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
[profile.default]
src = 'src'                                                   # the source directory
test = 'test'                                                 # the test directory
out = 'out'                                                   # the output directory (for artifacts)
libs = ['lib']                                                # a list of library directories
remappings = [                                                # a list of remappings
    'ds-test/=lib/ds-test/src/',
    'forge-std/=lib/forge-std/src/'
]
cache = false                                                 # whether to cache builds or not
evm_version = 'london'                                        # the evm version (by hardfork name)
solc_version = '0.8.16'                                       # override for the solc version (setting this ignores `auto_detect_solc`
optimizer = true                                              # enable or disable the solc optimizer
optimizer_runs = 200                                          # the number of optimizer runs
fuzz_runs = 10000
fuzz_max_local_rejects = 65536                                # max number of individual inputs that may be rejected before the test aborts
fuzz_max_global_rejects = 1024                                # max number of combined inputs that may be rejected before the test aborts
ffi = false                                                   # whether to enable ffi or not
sender = '0x00a329c0648769a73afac7f9381e08fb43dbea72'         # the address of `msg.sender` in tests
initial_balance = '0xffffffffffffffffffffffff'                # the initial balance of the test contract
gas_limit = 9223372036854775807                               # the gas limit in tests
gas_reports = ["*"]

[profile.smt]
src = 'contracts'                                             # the source directory
evm_version = 'london'                                        # the evm version (by hardfork name)
solc_version = '0.8.16'                                       # override for the solc version (setting this ignores `auto_detect_solc`
optimizer = true                                              # enable or disable the solc optimizer
optimizer_runs = 200                                          # the number of optimizer runs

[profile.smt.model_checker]
engine="chc"
timeout = 10_000
targets = [
    'assert',
    'divByZero',
    'underflow',
    'overflow',
    'divByZero',
    'constantCondition',
    'popEmptyArray',
    'outOfBounds',
]

[profile.smt.model_checker.contracts]
"contracts/DullahanVault.sol" = ["DullahanVault"]
"contracts/DullahanRewardsStaking.sol" = ["DullahanRewardsStaking"]
"contracts/DullahanPodManager.sol" = ["DullahanPodManager"]
"contracts/DullahanPod.sol" = ["DullahanPod"]
"contracts/DullahanTreasureChest.sol" = ["DullahanTreasureChest"]
"contracts/modules/DullahanRegistry.sol" = ["DullahanRegistry"]
"contracts/modules/OracleModule.sol" = ["OracleModule"]
"contracts/modules/DullahanFeeModule.sol" = ["DullahanFeeModule"]
"contracts/modules/DullahanDiscountCalculator.sol" = ["DullahanDiscountCalculator"]
"contracts/modules/DullahanMigrator.sol" = ["DullahanMigrator"]
"contracts/modules/DullahanZapDeposit.sol" = ["DullahanZapDeposit"]