add Aqua to tests

JuliaReach · Feb 22, 2024 · 68fdb81 · 68fdb81
1 parent 6f060d3
commit 68fdb81
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 Test, CarlemanLinearization
+import Aqua
+
+@testset "Aqua tests" begin
+    Aqua.test_all(CarlemanLinearization; ambiguities=false)
+
+    # do not warn about ambiguities in dependencies
+    Aqua.test_ambiguities([CarlemanLinearization, Core])
+end
diff --git a/test/Project.toml b/test/Project.toml
@@ -1,11 +1,13 @@
 [deps]
+Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
 DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
 LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 MultivariatePolynomials = "102ac46a-7ee4-5c85-9060-abc95bfdeaa3"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
+Aqua = "0.8"
 DynamicPolynomials = "0.3, 0.4, 0.5"
 LazySets = "1, 2"
 MultivariatePolynomials = "0.3, 0.4, 0.5"
diff --git a/test/runtests.jl b/test/runtests.jl
@@ -175,3 +175,5 @@ end
         @test e3(t) < e2(t)
     end
 end
+
+include("Aqua.jl")