solver-threads 2 for snekmate tests

a16z · Nov 15, 2024 · ae5229a · ae5229a
1 parent d11222c
commit ae5229a
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -52,22 +52,22 @@ jobs:
             profile: ""
           - repo: "pcaversaccio/snekmate"
             dir: "snekmate"
-            cmd: "--config test/halmos.toml --contract ERC20TestHalmos --solver-command 'jsi --model --sequence yices,bitwuzla-abstraction' --solver-threads 1"
+            cmd: "--config test/halmos.toml --contract ERC20TestHalmos --solver-command 'jsi --model --sequence yices,bitwuzla-abstraction' --solver-threads 2"
             branch: ""
             profile: "halmos"
           - repo: "pcaversaccio/snekmate"
             dir: "snekmate"
-            cmd: "--config test/halmos.toml --contract ERC721TestHalmos --solver-command 'jsi --model --sequence yices,bitwuzla-abstraction' --solver-threads 1"
+            cmd: "--config test/halmos.toml --contract ERC721TestHalmos --solver-command 'jsi --model --sequence yices,bitwuzla-abstraction' --solver-threads 2"
             branch: ""
             profile: "halmos"
           - repo: "pcaversaccio/snekmate"
             dir: "snekmate"
-            cmd: "--config test/halmos.toml --contract ERC1155TestHalmos --solver-command 'jsi --model --sequence yices,bitwuzla-abstraction' --solver-threads 1"
+            cmd: "--config test/halmos.toml --contract ERC1155TestHalmos --solver-command 'jsi --model --sequence yices,bitwuzla-abstraction' --solver-threads 2"
             branch: ""
             profile: "halmos"
           - repo: "pcaversaccio/snekmate"
             dir: "snekmate"
-            cmd: "--config test/halmos.toml --contract MathTestHalmos --solver-command 'jsi --model --sequence yices,bitwuzla-abstraction' --solver-threads 1"
+            cmd: "--config test/halmos.toml --contract MathTestHalmos --solver-command 'jsi --model --sequence yices,bitwuzla-abstraction' --solver-threads 2"
             branch: ""
             profile: "halmos"