diff --git a/Project.toml b/Project.toml index 27596a2..d0ec576 100644 --- a/Project.toml +++ b/Project.toml @@ -19,4 +19,4 @@ LazySets = "1, 2" MathematicalSystems = "0.11, 0.12, 0.13" Reexport = "0.2, 1" SymEngine = "0.7, 0.8, 0.9, 0.10, 0.11" -julia = "1" +julia = "1.2" diff --git a/test/Aqua.jl b/test/Aqua.jl new file mode 100644 index 0000000..6c0778c --- /dev/null +++ b/test/Aqua.jl @@ -0,0 +1,11 @@ +using SpaceExParser, Test +import Aqua + +@testset "Aqua tests" begin + Aqua.test_all(SpaceExParser; ambiguities=false, + # the piracies should be resolved in the future + piracies=(broken=true,)) + + # do not warn about ambiguities in dependencies + Aqua.test_ambiguities(SpaceExParser) +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")