From 3431e09364cc895ddd7c63504013a67d1b343cb5 Mon Sep 17 00:00:00 2001
From: CompatHelper Julia <compathelper_noreply@julialang.org>
Date: Thu, 16 Jan 2025 01:29:23 +0000
Subject: [PATCH] CompatHelper: bump compat for CDDLib to 0.10 for package
 test, (keep existing compat)

---
 test/Project.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/Project.toml b/test/Project.toml
index 43b95819c..db9682c29 100644
--- a/test/Project.toml
+++ b/test/Project.toml
@@ -18,10 +18,10 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
 Aqua = "0.8.9"
-CDDLib = "0.5 - 0.9"
+CDDLib = "0.5 - 0.9, 0.10"
 Expokit = "0.2"
 Flowstar = "0.2.4"
-IntervalArithmetic = "0.16 - 0.20, =0.20.9"  # new versions require updates and are incompatible with dependencies
+IntervalArithmetic = "0.16 - 0.20, =0.20.9"
 LazySets = "2.14, 3"
 Optim = "0.15 - 0.22, 1"
 OrdinaryDiffEq = "6"