From 4e6fe1b03011dd6d389f4e4a3963b067562865cf Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Sun, 22 Sep 2024 12:58:30 -0700 Subject: [PATCH] roll back z3 version --- SBVTestSuite/GoldFiles/allSat8.gold | 2 +- SMTSolverVersions.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/SBVTestSuite/GoldFiles/allSat8.gold b/SBVTestSuite/GoldFiles/allSat8.gold index 94a841bd5..59a537427 100644 --- a/SBVTestSuite/GoldFiles/allSat8.gold +++ b/SBVTestSuite/GoldFiles/allSat8.gold @@ -60,4 +60,4 @@ EXCEPTION CAUGHT: *** NB. If this is a use case you'd like SBV to support, please get in touch! CallStack (from HasCallStack): - error, called at ./Data/SBV/Control/Utils.hs:1656:57 in sbv-11.0-inplace:Data.SBV.Control.Utils + error, called at ./Data/SBV/Control/Utils.hs:1661:57 in sbv-11.0-inplace:Data.SBV.Control.Utils diff --git a/SMTSolverVersions.md b/SMTSolverVersions.md index c7a994e5e..0f4bc11d7 100644 --- a/SMTSolverVersions.md +++ b/SMTSolverVersions.md @@ -33,7 +33,7 @@ report any issues you might see with newer releases. * Version 2.6.2 as downloaded from the above site on Apr 7, 2020 * Z3: * http://github.com/Z3Prover/z3 - * Version as downloaded from the above site on Sep 22nd, 2024 + * Version as downloaded from the above site on Sep 20th, 2024 * SBV typically relies on latest features of z3, so compiling directly from the sources is recommended. If that's not possible, you should always use their latest release.