From 3b9eafbc91cdfc7f7a51e03ffb9747a5991750ef Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Fri, 14 Jan 2022 14:48:09 -0500 Subject: [PATCH] CI: Update what4-solvers to use Z3 4.8.14 The previous `what4-solvers` snapshot used Z3 4.8.10, which is known to cause severe performance regressions with the `negshift` regression test. See #1107. This updates to a more recent `what4-solvers` snapshot that uses Z3 4.8.14 instead, which is known to work more reliably with `negshift`. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index be0c0440..5b8a8124 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,7 +9,7 @@ on: workflow_dispatch: env: - SOLVER_PKG_VERSION: "snapshot-20210917" + SOLVER_PKG_VERSION: "snapshot-20220114" jobs: config: