From 8e5f8c8595d59ac9ca0e42855dd0c2c65e8a53ee Mon Sep 17 00:00:00 2001
From: Leo Alt <leo@ethereum.org>
Date: Wed, 5 Apr 2023 14:55:57 +0200
Subject: [PATCH] reenable arch smt tests

---
 .circleci/config.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index e189ea07b..67d52e071 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -955,9 +955,8 @@ jobs:
     environment:
       TERM: xterm
       MAKEFLAGS: -j 5
-      # Build without Z3. We won't be running SMT tests on Arch because that requires a specific
-      # version of Z3 and the one with the official repos is often not the one we need.
-      USE_Z3: OFF
+      # This can be switched off if we run out of sync with Arch.
+      USE_Z3: ON
     steps:
       - run:
           name: Install build dependencies