try out bitwuzla on snekmate

a16z · Jul 24, 2024 · e169cae · e169cae
1 parent 52c5b66
commit e169cae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -47,7 +47,7 @@ jobs:
             profile: ""
           - repo: "pcaversaccio/snekmate"
             dir: "snekmate"
-            cmd: "--config test/halmos.toml --solver-command yices-smt2"
+            cmd: "--config test/halmos.toml --solver-command bitwuzla"
             branch: ""
             profile: "halmos"