From ca31bcdbb67c87215b210c81dfc0df76ca59b29b Mon Sep 17 00:00:00 2001
From: sumpster <sumpster@gmail.com>
Date: Sun, 24 Nov 2024 00:10:37 +0100
Subject: [PATCH] Tests: Fix solver help output detection case insensitive
 (#5626) (#5627)

---
 docs/CONTRIBUTORS      | 1 +
 test_regress/driver.py | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS
index 9fc522b04..8824b138f 100644
--- a/docs/CONTRIBUTORS
+++ b/docs/CONTRIBUTORS
@@ -196,6 +196,7 @@ Srinivasan Venkataramanan
 Stefan Wallentowitz
 Stephen Henry
 Steven Hugg
+sumpster
 Szymon Gizler
 Sören Tempel
 Teng Huang
diff --git a/test_regress/driver.py b/test_regress/driver.py
index 0a4bc0610..d8a80a89a 100755
--- a/test_regress/driver.py
+++ b/test_regress/driver.py
@@ -180,7 +180,7 @@ class Capabilities:
         if Capabilities._cached_have_solver is None:
             out = VtOs.run_capture('(z3 --help || cvc5 --help || cvc4 --help) 2>/dev/null',
                                    check=False)
-            Capabilities._cached_have_solver = bool('Usage' in out)
+            Capabilities._cached_have_solver = bool('usage' in out.casefold())
         return Capabilities._cached_have_solver
 
     @staticproperty