Merge pull request #216 from JuliaReach/schillic/unused

Remove unused variables
JuliaReach · Mar 2, 2024 · 44b33b8 · 44b33b8
2 parents b11e6ff + 55212a2
commit 44b33b8
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 6 deletions.
diff --git a/src/check_1D_dense.jl b/src/check_1D_dense.jl
@@ -53,7 +53,7 @@ function check_1D_dense(models::Vector{String}, deltas::Vector{Float64})
                 dict[:T] = 20.0
                 dict[:logfile] = "$model-check-1D-dense-givenstep.txt"
             end
-            result = solve(S, Options(dict))
+            solve(S, Options(dict))
         end
         println()
     end

diff --git a/src/check_1D_discrete.jl b/src/check_1D_discrete.jl
@@ -51,7 +51,7 @@ function check_1D_discrete(models::Vector{String})
                 dict[:T] = 20.0
                 dict[:logfile] = "$model-check-1D-discrete-fixedstep.txt"
             end
-            result = solve(S, Options(dict))
+            solve(S, Options(dict))
         end
         println()
     end

diff --git a/src/check_kD_dense.jl b/src/check_kD_dense.jl
@@ -35,7 +35,6 @@ function check_kD_dense(models::Vector{String}, deltas::Vector{Float64})
         S, options_raw = func(:mode => "check")
 
         # options
-        n = MathematicalSystems.statedim(S)
         dict_raw = options_raw.dict
         dict_raw[:verbosity] = "info"
         dict_raw[:δ] = delta
@@ -50,7 +49,7 @@ function check_kD_dense(models::Vector{String}, deltas::Vector{Float64})
                 dict[:T] = 20.0
                 dict[:logfile] = "$model-check-kD-dense-givenstep.txt"
             end
-            result = solve(S, Options(dict))
+            solve(S, Options(dict))
         end
         println()
     end

diff --git a/src/check_kD_discrete.jl b/src/check_kD_discrete.jl
@@ -31,7 +31,6 @@ function check_kD_discrete(models::Vector{String})
         S, options_raw = func(:mode => "check")
 
         # options
-        n = MathematicalSystems.statedim(S)
         dict_raw = options_raw.dict
         dict_raw[:verbosity] = "info"
         dict_raw[:δ] = 5e-3
@@ -48,7 +47,7 @@ function check_kD_discrete(models::Vector{String})
                 dict[:T] = 20.0
                 dict[:logfile] = "$model-check-kD-discrete-fixedstep.txt"
             end
-            result = solve(S, Options(dict))
+            solve(S, Options(dict))
         end
         println()
     end