Commit 34265144 authored by clabby's avatar clabby Committed by GitHub

Increase invariant runs in CI profile (#8820)

parent f3970260
...@@ -57,6 +57,10 @@ ignore = ['src/vendor/WETH9.sol'] ...@@ -57,6 +57,10 @@ ignore = ['src/vendor/WETH9.sol']
deny_warnings = true deny_warnings = true
fuzz = { runs = 512 } fuzz = { runs = 512 }
[profile.ci.invariant]
runs = 256
depth = 32
################################################################ ################################################################
# PROFILE: LITE # # PROFILE: LITE #
################################################################ ################################################################
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment