forked from 0xSero/poidh-v3
-
Notifications
You must be signed in to change notification settings - Fork 4
Expand file tree
/
Copy pathfoundry.toml
More file actions
62 lines (52 loc) · 1.42 KB
/
Copy pathfoundry.toml
File metadata and controls
62 lines (52 loc) · 1.42 KB
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
57
58
59
60
61
62
[profile.default]
src = "src"
out = "out"
libs = ["lib"]
test = "test"
script = "script"
solc_version = "0.8.24"
optimizer = true
optimizer_runs = 200
via_ir = false
show_progress = true
fs_permissions = [{ access = "read-write", path = "./cache" }]
remappings = [
"@openzeppelin/=lib/openzeppelin-contracts/"
]
[rpc_endpoints]
ethereummainnet = "${ETH_MAINNET_RPC_URL}"
base_sepolia = "${BASE_SEPOLIA_RPC_URL}"
base = "${BASE_RPC_URL}"
arbitrum = "${ARBITRUM_RPC_URL}"
degen = "${DEGEN_RPC_URL}"
[etherscan]
ethereummainnet = { key = "${ETHERSCAN_API_KEY}", chain = 1, url = "https://api.etherscan.io/api" }
base_sepolia = { key = "${BASESCAN_API_KEY}", chain = 84532, url = "https://api-sepolia.basescan.org/api" }
base = { key = "${BASESCAN_API_KEY}", chain = 8453, url = "https://api.basescan.org/api" }
[profile.default.fuzz]
runs = 256
[profile.default.invariant]
runs = 256
depth = 500
[profile.long.fuzz]
runs = 10000
[profile.long.invariant]
runs = 2000
depth = 1000
[profile.overnight.fuzz]
runs = 100000
[profile.overnight.invariant]
runs = 50000
depth = 10000
# Enable coverage-guided fuzzing - stores/mutates call sequences that find new coverage
corpus_dir = "cache/invariant-corpus"
[fmt]
bracket_spacing = false
int_types = "long"
line_length = 100
multiline_func_header = "attributes_first"
number_underscore = "thousands"
quote_style = "double"
single_line_statement_blocks = "single"
tab_width = 2
wrap_comments = true