Merge pull request #756 from JuliaReach/schillic/warnings

Fix warnings in tests
JuliaReach · Jan 3, 2024 · 13b8283 · 13b8283
2 parents cc99428 + ff0bfe0
commit 13b8283
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/test/algorithms/VREP.jl b/test/algorithms/VREP.jl
@@ -1,5 +1,6 @@
-using Polyhedra
-using CDDLib
+import Polyhedra
+import CDDLib
+using StaticArrays: SVector
 using ReachabilityAnalysis: _reconvert
 
 @testset "VREP constructor" begin

diff --git a/test/runtests.jl b/test/runtests.jl
@@ -2,7 +2,6 @@ using Test
 using ReachabilityAnalysis
 
 TEST_MODELS = ["models/harmonic_oscillator.jl",
-               "models/harmonic_oscillator.jl",
                "models/forced_oscillator.jl",
                "models/exponential1D.jl",
                "models/motor.jl",