add Aqua to tests

JuliaReach · Feb 23, 2024 · 984f6a7 · 984f6a7
1 parent bd77399
commit 984f6a7
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 0 deletions.
diff --git a/test/Aqua.jl b/test/Aqua.jl
@@ -0,0 +1,9 @@
+using RangeEnclosures, Test
+import Aqua
+
+@testset "Aqua tests" begin
+    Aqua.test_all(RangeEnclosures; ambiguities=false)
+
+    # do not warn about ambiguities in dependencies
+    Aqua.test_ambiguities(RangeEnclosures)
+end
diff --git a/test/Project.toml b/test/Project.toml
@@ -1,5 +1,6 @@
 [deps]
 AffineArithmetic = "2e89c364-fad6-56cb-99bd-ebadcd2cf8d2"
+Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
 IntervalOptimisation = "c7c68f13-a4a2-5b9a-b424-07d005f8d9d2"
@@ -10,6 +11,7 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
 AffineArithmetic = "0.2"
+Aqua = "0.8"
 Documenter = "0.27, 1"
 DynamicPolynomials = "0.3 - 0.5"
 IntervalOptimisation = "0.4.1"

diff --git a/test/runtests.jl b/test/runtests.jl
@@ -28,3 +28,5 @@ include("paper.jl")
         doctest(RangeEnclosures)
     end
 end
+
+include("Aqua.jl")
-Original file line number
+Diff line change
@@ Expand Up / @@ -28,3 +28,5 @@ include("paper.jl") @@
             doctest(RangeEnclosures)
         end
     end
+    include("Aqua.jl")