diff --git a/test/Project.toml b/test/Project.toml index 6ee8f02..d6c212c 100755 --- a/test/Project.toml +++ b/test/Project.toml @@ -16,5 +16,5 @@ ControllerFormats = "0.2" IntervalConstraintProgramming = "0.9 - 0.13" LazySets = "3" Optim = "1" -Polyhedra = "0.6 - 0.7" +Polyhedra = "0.6 - 0.7, 0.8" ReachabilityAnalysis = "0.22 - 0.27"