add Aqua to tests

JuliaReach · Feb 25, 2024 · 3f8a1e0 · 3f8a1e0
1 parent 19f1fc1
commit 3f8a1e0
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 0 deletions.
diff --git a/test/Aqua.jl b/test/Aqua.jl
@@ -0,0 +1,15 @@
+using ReachabilityAnalysis, Test
+import Aqua
+
+@testset "Aqua tests" begin
+    # note that the check `persistent_tasks` may take several minutes
+    Aqua.test_all(ReachabilityAnalysis; ambiguities=false,
+                  # the unbound args should be resolved in the future
+                  unbound_args=(broken=true,),
+                  # the piracies should be resolved in the future
+                  piracies=(broken=true,))
+
+    # do not warn about ambiguities in dependencies
+    # the ambiguities should be resolved in the future
+    Aqua.test_ambiguities(ReachabilityAnalysis; broken=true)
+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"
 DifferentialEquations = "0c46a032-eb83-5123-abaf-570d42b7fbaa"
 DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
@@ -20,6 +21,7 @@ TaylorModels = "314ce334-5f6e-57ae-acf6-00b6e903104a"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
+Aqua = "0.8"
 CDDLib = "0.5 - 0.9"
 DifferentialEquations = "6.17, 7"
 DynamicPolynomials = "0.3 - 0.5"

diff --git a/test/runtests.jl b/test/runtests.jl
@@ -38,3 +38,5 @@ TEST_ALGORITHMS = ["algorithms/INT.jl",
 foreach(include, TEST_MODELS)
 foreach(include, TEST_FILES)
 foreach(include, TEST_ALGORITHMS)
+
+include("Aqua.jl")