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

Automatic JuliaFormatter.jl run

Author: schillic

docs/make.jl

@@ -78,10 +78,10 @@ TAYLOR_METHODS = ["Taylor methods" => [
 #                                                             ]]
 
 PARAMETRIC_SYSTEMS = ["Parametric systems" => [
-                                                #
-                                                "Parametric reachability" => "man/parametric.md"
-                                                #
-                                                ]]
+                                               #
+                                               "Parametric reachability" => "man/parametric.md"
+                                               #
+                                               ]]
 
 HYBRID_SYSTEMS = ["Hybrid systems" => [
                                        #
@@ -240,7 +240,7 @@ makedocs(; sitename="ReachabilityAnalysis.jl",
                                     "Flowpipes"                     => "lib/flowpipes.md",
                                     "Linear solvers"                => LINEAR_SOLVERS_API,
                                     "Nonlinear solvers"             => NONLINEAR_SOLVERS_API,
-                                     "Parametric solvers"            => PARAMETRIC_SOLVERS_API,
+                                    "Parametric solvers"            => PARAMETRIC_SOLVERS_API,
                                     "Solutions"                     => "lib/solutions.md",
                                     "Discretization"                => "lib/discretize.md",
                                     "Projections"                   => "lib/projections.md",

src/Discretization/CorrectionHullMatrixZonotope.jl

@@ -51,7 +51,7 @@ function discretize(ivp::IVP{<:LPCS,<:SparsePolynomialZonotope}, δ,
     X0 = initial_state(ivp)
     n = dim(X0)
 
-    N = eltype(X0) 
+    N = eltype(X0)
 
     IDₜ = ngens(A) > 0 ? maximum(indexvector(A)) + 1 : 1
     Tₜ = N(0.5) * δ * Matrix(N(1) * I, n, n)

src/Discretization/discretization.jl

@@ -49,4 +49,4 @@ include("ForwardBackwardModule.jl")
 
 # Discretize using the correction hull of the matrix zonotope exponential
 include("CorrectionHullMatrixZonotope.jl")
-@reexport using  ..CorrectionHullMatrixZonotopeModule
+@reexport using ..CorrectionHullMatrixZonotopeModule

test/algorithms/HLBS25.jl

@@ -15,14 +15,12 @@
         δ = T / 400
 
         # recursive false
-        alg = HLBS25(
-            δ = δ,
-            approx_model = CorrectionHullMatrixZonotope(),
-            taylor_order = 5,
-            max_order = 5,
-            reduction_method = LazySets.GIR05(),
-            recursive = false
-        )
+        alg = HLBS25(; δ=δ,
+                     approx_model=CorrectionHullMatrixZonotope(),
+                     taylor_order=5,
+                     max_order=5,
+                     reduction_method=LazySets.GIR05(),
+                     recursive=false)
         sol1 = solve(prob, alg; T=T)
 
         @test_broken X0 ⊆ set(sol[1]) #TODO add inclusion check for SPZ
@@ -35,21 +33,18 @@
         @test setrep(sol1) <: SparsePolynomialZonotope
 
         # recursive true
-        alg2 = HLBS25(
-            δ = δ,
-            approx_model = CorrectionHullMatrixZonotope(recursive = true),
-            taylor_order = 4,
-            max_order = 4,
-            reduction_method = LazySets.GIR05(),
-            recursive = true
-        )
+        alg2 = HLBS25(; δ=δ,
+                      approx_model=CorrectionHullMatrixZonotope(; recursive=true),
+                      taylor_order=4,
+                      max_order=4,
+                      reduction_method=LazySets.GIR05(),
+                      recursive=true)
         sol2 = solve(prob, alg2; T=T)
 
         @test isa(sol2.alg, HLBS25)
         @test sol2.alg.δ == δ
         @test sol2.alg.max_order == 4
         @test sol2.alg.taylor_order == 4
         @test setrep(sol2) <: SparsePolynomialZonotope
-
     end
 end