add Aqua to tests

JuliaReach · Feb 23, 2024 · e3290ca · e3290ca
1 parent d74c2b8
commit e3290ca
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 ReachabilityBase, Test
+import Aqua
+
+@testset "Aqua tests" begin
+    Aqua.test_all(ReachabilityBase)
+end
diff --git a/test/Project.toml b/test/Project.toml
@@ -1,9 +1,11 @@
 [deps]
+Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
+Aqua = "0.8"
 Documenter = "0.27, 1"
diff --git a/test/runtests.jl b/test/runtests.jl
@@ -42,3 +42,5 @@ if VERSION > v"1.6"
         doctest(ReachabilityBase)
     end
 end
+
+include("Aqua.jl")
-Original file line number
+Diff line change
@@ Expand Up / @@ -42,3 +42,5 @@ if VERSION > v"1.6" @@
             doctest(ReachabilityBase)
         end
     end
+    include("Aqua.jl")