From 15bec139ce5a6c5b14cb98541035f5e21d49530d Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Fri, 23 Feb 2024 23:15:46 +0100
Subject: [PATCH] add Aqua to tests

---
 test/Aqua.jl      | 12 ++++++++++++
 test/Project.toml |  2 ++
 test/runtests.jl  |  2 ++
 3 files changed, 16 insertions(+)
 create mode 100644 test/Aqua.jl

diff --git a/test/Aqua.jl b/test/Aqua.jl
new file mode 100644
index 0000000..60fcd95
--- /dev/null
+++ b/test/Aqua.jl
@@ -0,0 +1,12 @@
+using SpaceExParser, Test
+import Aqua
+
+@testset "Aqua tests" begin
+    Aqua.test_all(SpaceExParser; ambiguities=false, piracies=false)
+
+    # do not warn about ambiguities in dependencies
+    Aqua.test_ambiguities(SpaceExParser)
+
+    # the piracies should be resolved in the future
+    Aqua.test_piracies(SpaceExParser; broken=true)
+end
diff --git a/test/Project.toml b/test/Project.toml
index 771b0ef..3b945c7 100644
--- a/test/Project.toml
+++ b/test/Project.toml
@@ -1,4 +1,5 @@
 [deps]
+Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
 EzXML = "8f5d6c58-4d21-5cfd-889c-e3ad7ee6a615"
 HybridSystems = "2207ec0c-686c-5054-b4d2-543502888820"
 LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
@@ -6,6 +7,7 @@ MathematicalSystems = "d14a8603-c872-5ed3-9ece-53e0e82e39da"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
+Aqua = "0.8"
 EzXML = "1"
 HybridSystems = "0.4"
 LazySets = "1, 2"
diff --git a/test/runtests.jl b/test/runtests.jl
index 2396390..2b3d388 100644
--- a/test/runtests.jl
+++ b/test/runtests.jl
@@ -3,3 +3,5 @@ using Test, SpaceExParser, HybridSystems, MathematicalSystems
 include("unit_examples.jl")
 include("unit_parse.jl")
 include("unit_affine.jl")
+
+include("Aqua.jl")