Merge pull request #15 from JuliaReach/schillic/bump

Support ReachabilityAnalysis v0.24
JuliaReach · Feb 11, 2024 · afc71bd · afc71bd
2 parents 8cf802d + a061cd3
commit afc71bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Project.toml b/test/Project.toml
@@ -13,4 +13,4 @@ ControllerFormats = "0.2"
 LazySets = "2.11.1"
 Optim = "1"
 Polyhedra = "0.6 - 0.7"
-ReachabilityAnalysis = "0.22 - 0.23"
+ReachabilityAnalysis = "0.22 - 0.24"