From e169cae05e78820aee9b6094abcb7352ffbaa089 Mon Sep 17 00:00:00 2001 From: karmacoma Date: Wed, 24 Jul 2024 15:17:26 -0700 Subject: [PATCH] try out bitwuzla on snekmate --- .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 167fcd36..30779a3f 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 yices-smt2" + cmd: "--config test/halmos.toml --solver-command bitwuzla" branch: "" profile: "halmos"