From 440d48435f34cc00e2e939941e3b6e99e3bf5328 Mon Sep 17 00:00:00 2001
From: karmacoma <karma@coma.lol>
Date: Wed, 24 Jul 2024 17:20:03 -0700
Subject: [PATCH] Revert "try out bitwuzla on snekmate"

This reverts commit e169cae05e78820aee9b6094abcb7352ffbaa089.

Much slower than yices, 1h37 vs 25min
---
 .github/workflows/test-external.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
index 30779a3f..167fcd36 100644
--- 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"