Merge branch 'main' into fix/dynamic-array-exceed-storage-limit

a16z · Sep 23, 2024 · 4e04da5 · 4e04da5
2 parents 9397fd8 + 3e66a60
commit 4e04da5
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 2 deletions.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -54,7 +54,22 @@ jobs:
             profile: ""
           - repo: "pcaversaccio/snekmate"
             dir: "snekmate"
-            cmd: "--config test/halmos.toml"
+            cmd: "--config test/halmos.toml --contract ERC20TestHalmos"
+            branch: ""
+            profile: "halmos"
+          - repo: "pcaversaccio/snekmate"
+            dir: "snekmate"
+            cmd: "--config test/halmos.toml --contract ERC721TestHalmos"
+            branch: ""
+            profile: "halmos"
+          - repo: "pcaversaccio/snekmate"
+            dir: "snekmate"
+            cmd: "--config test/halmos.toml --contract ERC1155TestHalmos"
+            branch: ""
+            profile: "halmos"
+          - repo: "pcaversaccio/snekmate"
+            dir: "snekmate"
+            cmd: "--config test/halmos.toml --contract MathTestHalmos"
             branch: ""
             profile: "halmos"
 

diff --git a/src/halmos/config.py b/src/halmos/config.py
@@ -333,7 +333,7 @@ class Config:
 
     solver_timeout_assertion: int = arg(
         help="set timeout (in milliseconds) for solving assertion violation conditions; 0 means no timeout",
-        global_default=1000,
+        global_default=60_000,
         metavar="TIMEOUT",
         group=solver,
     )