From b00e0a3d05ae1529a673f18ced6dc6c22fcd0cc5 Mon Sep 17 00:00:00 2001 From: Christian Schilling Date: Sun, 2 Jun 2024 21:45:39 +0200 Subject: [PATCH] allow ReachabilityAnalysis v0.26 --- test/Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/Project.toml b/test/Project.toml index 3d5df7d..ef95acd 100755 --- a/test/Project.toml +++ b/test/Project.toml @@ -17,4 +17,4 @@ IntervalConstraintProgramming = "0.9 - 0.13" LazySets = "2.13" Optim = "1" Polyhedra = "0.6 - 0.7" -ReachabilityAnalysis = "0.22 - 0.25" +ReachabilityAnalysis = "0.22 - 0.26"