From 5ab2e7cb0650173ad1cf48f25d86abb69632ad70 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20L=C3=A4ndle?= <alaendle@users.noreply.github.com>
Date: Tue, 21 May 2024 18:29:01 +0200
Subject: [PATCH] Expect test failures for `what4` - since `cvc5` is not
 available (GaloisInc/what4#262).

---
 build-constraints.yaml       | 1 +
 docker/02-apt-get-install.sh | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 8bf70f1a..c121092f 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -9340,6 +9340,7 @@ expected-test-failures:
     - web3 # requires running server
     - webdriver-angular # webdriver server
     - websockets
+    - what4 # Missing cvc4 and cvc5 - cvc5 is not available for ubuntu 22.04 https://github.com/GaloisInc/what4/issues/262
 
     # Missing test files in sdist
     #
diff --git a/docker/02-apt-get-install.sh b/docker/02-apt-get-install.sh
index e65a6ff3..f772dd8d 100755
--- a/docker/02-apt-get-install.sh
+++ b/docker/02-apt-get-install.sh
@@ -18,7 +18,6 @@ apt-get install -y \
     cmake \
     coinor-libclp-dev \
     curl \
-    cvc5 \
     dvipng \
     freeglut3-dev \
     freetds-dev \