From 5e3a9dfa66a7e9cb02c7271ebad85626a79603af Mon Sep 17 00:00:00 2001
From: "Rodrigo Q. Saramago" <rodrigoqsaramago@gmail.com>
Date: Mon, 5 Dec 2022 17:00:35 +0100
Subject: [PATCH] Disable cvc4

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

diff --git a/.circleci/config.yml b/.circleci/config.yml
index c2b3d0d6b..8e78dd3ab 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -1046,6 +1046,8 @@ jobs:
 
   t_ubu_soltest_eof: &t_ubu_soltest_eof
     <<: *eof_ubuntu2204_small
+    environment:
+      CMAKE_OPTIONS: -DUSE_CVC4=OFF
     parallelism: 50
     steps:
       - run: