add Aqua to tests

JuliaReach · Feb 23, 2024 · 1da1910 · 1da1910
1 parent 64efc2c
commit 1da1910
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 0 deletions.
diff --git a/test/Aqua.jl b/test/Aqua.jl
@@ -0,0 +1,6 @@
+using MathematicalSets, Test
+import Aqua
+
+@testset "Aqua tests" begin
+    Aqua.test_all(MathematicalSets)
+end
diff --git a/test/Project.toml b/test/Project.toml
@@ -1,6 +1,8 @@
 [deps]
+Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 SpecialFunctions = "276daf66-3868-5448-9aa4-cd146d93841b"
 
 [compat]
+Aqua = "0.8"
 SpecialFunctions = "0.8, 0.9, 0.10, 1, 2"
diff --git a/test/runtests.jl b/test/runtests.jl
@@ -9,3 +9,5 @@ end
 @testset "Topological properties of sets" begin
     include("topological.jl")
 end
+
+include("Aqua.jl")