Merge pull request #233 from JuliaReach/schillic/ExplicitImports

Use ExplicitImports in tests

Author: schillic

test/Aqua.jl

@@ -1,6 +1,12 @@
 [deps]
 Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
+Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
 Aqua = "0.8"
+ExplicitImports = "1"
+Pkg = "<0.0.1, 1.2"
+
+[extras]
+ExplicitImports = "7d51a73a-1435-4ff3-83d9-f097790105c7"

test/Project.toml

@@ -0,0 +1,22 @@
+using ReachabilityBenchmarks, Test
+import Aqua
+
+import Pkg
+@static if VERSION >= v"1.6"  # TODO make explicit test requirement
+    Pkg.add("ExplicitImports")
+    import ExplicitImports
+
+    @testset "ExplicitImports tests" begin
+        @test isnothing(ExplicitImports.check_all_explicit_imports_are_public(ReachabilityBenchmarks))
+        @test isnothing(ExplicitImports.check_all_explicit_imports_via_owners(ReachabilityBenchmarks))
+        @test isnothing(ExplicitImports.check_all_qualified_accesses_are_public(ReachabilityBenchmarks))
+        @test isnothing(ExplicitImports.check_all_qualified_accesses_via_owners(ReachabilityBenchmarks))
+        @test isnothing(ExplicitImports.check_no_implicit_imports(ReachabilityBenchmarks))
+        @test isnothing(ExplicitImports.check_no_self_qualified_accesses(ReachabilityBenchmarks))
+        @test isnothing(ExplicitImports.check_no_stale_explicit_imports(ReachabilityBenchmarks))
+    end
+end
+
+@testset "Aqua tests" begin
+    Aqua.test_all(ReachabilityBenchmarks)
+end

test/quality_assurance.jl

@@ -1,3 +1,3 @@
 using Test, ReachabilityBenchmarks
 
-include("Aqua.jl")
+include("quality_assurance.jl")