Merge pull request #16 from JuliaReach/schillic/aqua

Run Aqua in tests and fix problems
JuliaReach · Feb 28, 2024 · c15a58e · c15a58e
2 parents bb8c1c2 + 406a7f2
commit c15a58e
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -13,6 +13,7 @@ Requires = "ae029012-a4dd-5104-9daa-d747884805df"
 [compat]
 ControllerFormats = "0.2"
 LazySets = "2.11.1"
+LinearAlgebra = "<0.0.1, 1.6"
 ReachabilityBase = "0.2.1"
 Reexport = "0.2, 1"
 Requires = "0.5, 1"

diff --git a/test/Aqua.jl b/test/Aqua.jl
@@ -0,0 +1,9 @@
+using NeuralNetworkReachability, Test
+import Aqua
+
+@testset "Aqua tests" begin
+    Aqua.test_all(NeuralNetworkReachability; ambiguities=false)
+
+    # do not warn about ambiguities in dependencies
+    Aqua.test_ambiguities(NeuralNetworkReachability)
+end
diff --git a/test/Project.toml b/test/Project.toml
@@ -1,4 +1,5 @@
 [deps]
+Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
 CDDLib = "3391f64e-dcde-5f30-b752-e11513730f60"
 ControllerFormats = "02ac4b2c-022a-44aa-84a5-ea45a5754bcc"
 LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
@@ -8,6 +9,7 @@ ReachabilityAnalysis = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
+Aqua = "0.8"
 CDDLib = "0.6 - 0.9"
 ControllerFormats = "0.2"
 LazySets = "2.11.1"

diff --git a/test/runtests.jl b/test/runtests.jl
@@ -40,4 +40,4 @@ end
     end
 end
 
-@test isempty(detect_ambiguities(NeuralNetworkReachability))
+include("Aqua.jl")