Revert "try out bitwuzla on snekmate"

This reverts commit e169cae. Much slower than yices, 1h37 vs 25min
a16z · Jul 25, 2024 · 440d484 · 440d484
1 parent e169cae
commit 440d484
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 bitwuzla"
+            cmd: "--config test/halmos.toml --solver-command yices-smt2"
             branch: ""
             profile: "halmos"