diff --git a/test/Project.toml b/test/Project.toml index 6c996bd..dbe2a18 100755 --- a/test/Project.toml +++ b/test/Project.toml @@ -12,7 +12,7 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" Aqua = "0.8" CDDLib = "0.6 - 0.9" ControllerFormats = "0.2" -LazySets = "2.11.1" +LazySets = "2.12.1" Optim = "1" Polyhedra = "0.6 - 0.7" -ReachabilityAnalysis = "0.22 - 0.24" +ReachabilityAnalysis = "0.22 - 0.25"