Skip to content

Commit

Permalink
chore(foundry): update config (#15)
Browse files Browse the repository at this point in the history
  • Loading branch information
sambacha authored Jul 21, 2024
1 parent ebba35a commit 61074ef
Showing 1 changed file with 12 additions and 2 deletions.
14 changes: 12 additions & 2 deletions foundry.toml
Original file line number Diff line number Diff line change
Expand Up @@ -114,6 +114,10 @@ seed = '0x6900000000000000000000000000000000000000000000000000000000000000'
cache = true
cache_path = '.cache'

show_progress = false
unchecked_cheatcode_artifacts = false


[[profile.default.fs_permissions]]
access = "read"
path = "out"
Expand Down Expand Up @@ -177,7 +181,7 @@ failure_persist_file = "failures"

[invariant]
# The number of runs that must execute for each invariant test group
runs = 420
runs = 256
# The number of calls executed to attempt to break invariants in one run
depth = 500
# Fails the invariant fuzzing if a revert occurs
Expand All @@ -194,7 +198,8 @@ max_fuzz_dictionary_addresses = 15728640
max_fuzz_dictionary_values = 6553600
max_calldata_fuzz_dictionary_addresses = 0
shrink_sequence = true
shrink_run_limit = 262144
# run limit max: 262144
shrink_run_limit = 5000
preserve_state = false
max_assume_rejects = 65536
gas_report_samples = 256
Expand All @@ -215,3 +220,8 @@ stackAllocation = true
# engine = 'chc'
# timeout = 10000
# targets = [ 'assert' ]

[bind_json]
out = "utils/JsonBindings.sol"
include = []
exclude = []

0 comments on commit 61074ef

Please sign in to comment.