Merge pull request #3543 from JuliaReach/auto-juliaformatter-pr

Automatic JuliaFormatter.jl run
JuliaReach · Jun 29, 2024 · 625eb2d · 625eb2d
2 parents 2fef0f5 + d925f28
commit 625eb2d
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 14 deletions.
diff --git a/src/Sets/EmptySet/EmptySetModule.jl b/src/Sets/EmptySet/EmptySetModule.jl
@@ -7,13 +7,13 @@ using Random: AbstractRNG, GLOBAL_RNG
 using ReachabilityBase.Distribution: reseed!
 using ReachabilityBase.Iteration: EmptyIterator
 
-@reexport import ..API:  an_element, area, complement, diameter, dim, high, ∈,
-                         isbounded, isboundedtype, isconvextype, isempty,
-                         isoperationtype, isuniversal, linear_map, low, norm,
-                         project, radius, rand, rectify, reflect, scale, scale!,
-                         ρ, σ, translate, translate!, vertices, vertices_list,
-                         volume,
-                         convex_hull, intersection, isdisjoint, ⊆
+@reexport import ..API: an_element, area, complement, diameter, dim, high, ∈,
+                        isbounded, isboundedtype, isconvextype, isempty,
+                        isoperationtype, isuniversal, linear_map, low, norm,
+                        project, radius, rand, rectify, reflect, scale, scale!,
+                        ρ, σ, translate, translate!, vertices, vertices_list,
+                        volume,
+                        convex_hull, intersection, isdisjoint, ⊆
 @reexport import ..LazySets: chebyshev_center_radius, plot_recipe
 
 export EmptySet, ∅

diff --git a/src/Sets/Hyperplane.jl b/src/Sets/Hyperplane.jl
@@ -720,7 +720,7 @@ function load_symengine_hyperplane()
 
             # treats the 4 in :(2*x1 = 4)
             rhs = :args in fieldnames(typeof(expr.args[2])) ? convert(Basic, expr.args[2].args[2]) :
-                convert(Basic, expr.args[2])
+                  convert(Basic, expr.args[2])
 
             # a1 x1 + ... + an xn + K = 0
             eq = lhs - rhs

diff --git a/test/ConcreteOperations/interior.jl b/test/ConcreteOperations/interior.jl
@@ -5,7 +5,7 @@ for N in [Float64, Rational{Int}, Float32]
         @test !is_interior_point(d, P)
     else
         @test_throws AssertionError is_interior_point(d, P)
-        @test !is_interior_point(d, P; ε=1//100)
+        @test !is_interior_point(d, P; ε=1 // 100)
     end
     @test !is_interior_point(d, P; ε=N(1))
     @test_throws AssertionError is_interior_point(d, P; ε=N(0))
@@ -14,7 +14,7 @@ for N in [Float64, Rational{Int}, Float32]
     if N <: AbstractFloat
         @test is_interior_point(d, P)
     else
-        @test !is_interior_point(d, P; ε=1//100)
+        @test !is_interior_point(d, P; ε=1 // 100)
     end
 end
 

diff --git a/test/Sets/Interval.jl b/test/Sets/Interval.jl
@@ -251,22 +251,22 @@ for N in [Float64, Float32, Rational{Int}]
     @test isempty(gens) && gens isa Vector{SingleEntryVector{N}}
 
     # is_interior_point
-    v1 = N[3/2]
+    v1 = N[3 / 2]
     v2 = N[1]
     if N <: AbstractFloat
         @test is_interior_point(v1, x) && !is_interior_point(v2, x)
     else
         @test_throws AssertionError is_interior_point(v1, x)
-        @test is_interior_point(v1, x; ε=1//100) && !is_interior_point(v2, x; ε=1//100)
+        @test is_interior_point(v1, x; ε=1 // 100) && !is_interior_point(v2, x; ε=1 // 100)
     end
     # different numeric type
-    v1 = Float16[3/2]
+    v1 = Float16[3 / 2]
     if N <: AbstractFloat
         v2 = Float16[1]
         @test is_interior_point(v1, x) && !is_interior_point(v2, x)
     else
         @test_throws ArgumentError is_interior_point(v1, x)
-        @test_throws ArgumentError is_interior_point(v1, x; ε=1//100)
+        @test_throws ArgumentError is_interior_point(v1, x; ε=1 // 100)
     end
 
     # Chebyshev center