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

Automatic JuliaFormatter.jl run
JuliaReach · Aug 19, 2023 · 6a4693d · 6a4693d
2 parents 472c149 + 8bab541
commit 6a4693d
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 5 deletions.
diff --git a/src/FileFormats/MAT.jl b/src/FileFormats/MAT.jl
@@ -48,7 +48,8 @@ function read_MAT(filename::String; act_key::String,
     act_vec = data[act_key]
     n_layer_ops = length(bias_vec)  # number of layer operations
 
-    T = DenseLayerOp{<:ActivationFunction,Matrix{eltype(weights_vec[1])},Vector{eltype(bias_vec[1])}}
+    T = DenseLayerOp{<:ActivationFunction,Matrix{eltype(weights_vec[1])},
+                     Vector{eltype(bias_vec[1])}}
     layers = Vector{T}(undef, n_layer_ops)
 
     for i in 1:n_layer_ops

diff --git a/src/FileFormats/NNet.jl b/src/FileFormats/NNet.jl
@@ -57,7 +57,8 @@ function read_NNet(filename::String)
 
         # read layers except for the output layer (with ReLU activation)
         T = DenseLayerOp{<:ActivationFunction,Matrix{Float32},Vector{Float32}}
-        layers = T[_read_layer_NNet(io, dim, Architecture._relu) for dim in layer_sizes[2:(end - 1)]]
+        layers = T[_read_layer_NNet(io, dim, Architecture._relu)
+                   for dim in layer_sizes[2:(end - 1)]]
 
         # read output layer (with identity activation)
         return push!(layers, _read_layer_NNet(io, last(layer_sizes), Architecture._id))

diff --git a/src/FileFormats/Sherlock.jl b/src/FileFormats/Sherlock.jl
@@ -68,7 +68,7 @@ function _read_Sherlock_POLAR(filename::String, read_activations, layer_type, re
             layers[i] = DenseLayerOp(W, b, activations(i))
         end
 
-        read_end(io)
+        return read_end(io)
     end
 
     return FeedforwardNetwork(layers)
@@ -137,7 +137,7 @@ function _write_Sherlock_POLAR(N::FeedforwardNetwork, filename::String,
         end
 
         # write end pattern
-        write_end(io)
+        return write_end(io)
     end
     return nothing
 end

diff --git a/src/FileFormats/YAML.jl b/src/FileFormats/YAML.jl
@@ -27,7 +27,8 @@ function read_YAML(filename::String)
     act_vec = data["activations"]
     n_layer_ops = length(bias_vec)  # number of layer operations
 
-    T = DenseLayerOp{<:ActivationFunction,Matrix{eltype(eltype(weights_vec[1]))},Vector{eltype(bias_vec[1])}}
+    T = DenseLayerOp{<:ActivationFunction,Matrix{eltype(eltype(weights_vec[1]))},
+                     Vector{eltype(bias_vec[1])}}
     layers = Vector{T}(undef, n_layer_ops)
 
     for i in 1:n_layer_ops