move test

JuliaReach · Jan 25, 2019 · f84a2f3 · f84a2f3
1 parent af697cd
commit f84a2f3
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/test/unit_LinearMap.jl b/test/unit_LinearMap.jl
@@ -101,8 +101,14 @@ for N in [Float64, Rational{Int}, Float32]
             @test ρ(d, lm1) ≈ ρ(d, p1)
             @test ρ(d, lm2) ≈ ρ(d, p2)
         end
-
-
+    end
+end
+
+# tests that do not work with Float32
+for N in [Float64, Rational{Int}]
+    b = BallInf(N[0, 0], N(1))
+
+    if test_suite_polyhedra
         # concrete intersection with lazy linear map
         M = N[2 3; 1 2]
         L = M * b