chore: add foundry profile

ubiquity · Jun 25, 2024 · 20e37fa · 20e37fa
1 parent 96b4034
commit 20e37fa
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/packages/contracts/foundry.toml b/packages/contracts/foundry.toml
@@ -43,3 +43,12 @@ src = 'src/dollar'
 [profile.intense.fuzz]
 runs = 100000
 max_test_rejects = 900000
+
+[profile.invariant]
+runs = 1000
+depth = 25
+fail_on_revert = false
+call_override = false
+dictionary_weight = 80
+include_storage = true
+include_push_bytes = true