fix ambiguities as in '1./1.'

JuliaReach · Aug 8, 2018 · 3f8e803 · 3f8e803
1 parent 2e4e338
commit 3f8e803
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/test/unit_CartesianProduct.jl b/test/unit_CartesianProduct.jl
@@ -97,7 +97,7 @@ for N in [Float64, Float32, Rational{Int}]
     @test ∈(N[2., 3., -.8, .9], cp)
     @test ∈(N[1., 1., -1., 0.], cp)
     @test ∈(N[3., 2., 0., 1.], cp)
-    @test ∈(N[5./4., 7./4., 1., 1.], cp)
+    @test ∈(N[5. / 4., 7. / 4., 1., 1.], cp)
     @test !∈(N[4., 1., 0., 0.], cp)
     @test !∈(N[5., 2., 0., 0.], cp)
     @test !∈(N[3., 4., 0., 0.], cp)

diff --git a/test/unit_Polygon.jl b/test/unit_Polygon.jl
@@ -82,7 +82,7 @@ for N in [Float64, Float32, Rational{Int}]
         @test ∈(N[2., 3.], p)
         @test ∈(N[1., 1.], p)
         @test ∈(N[3., 2.], p)
-        @test ∈(N[5./4., 7./4.], p)
+        @test ∈(N[5. / 4., 7. / 4.], p)
         @test !∈(N[4., 1.], p)
         @test !∈(N[5., 2.], p)
         @test !∈(N[3., 4.], p)

diff --git a/test/unit_Polytope.jl b/test/unit_Polytope.jl
@@ -38,7 +38,7 @@ for N in [Float64, Rational{Int}, Float32]
     @test σ(d, p) == N[0., 0.]
 
     # membership
-    @test ∈(N[5./4., 7./4.], p)
+    @test ∈(N[5. / 4., 7. / 4.], p)
     @test !∈(N[4., 1.], p)
 
     # singleton list (only available with Polyhedra library)