build: add more targets for model checker

reservoir-labs · Feb 21, 2023 · 9dc30d7 · 9dc30d7
1 parent 37220ea
commit 9dc30d7
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/foundry.toml b/foundry.toml
@@ -20,7 +20,11 @@ targets = [
     "assert",
     "underflow",
     "overflow",
-    "divByZero"
+    "divByZero",
+    "constantCondition",
+    "popEmptyArray",
+    "outOfBounds",
+    "balance"
 ]
 
 [profile.integration]