tests: fix global state for doctests (#1769)

* tests: reset abelian_closure variable name after printing test * tests: StraightLinePrograms put tests in submodule to avoid polluting main namespace too much
oscar-system · Nov 28, 2022 · 8efd6fb · 8efd6fb
1 parent babd9be
commit 8efd6fb
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/test/Rings/AbelianClosure.jl b/test/Rings/AbelianClosure.jl
@@ -79,6 +79,9 @@ end
 
     a = @inferred root_of_unity(K, 4)
     @test isone(a^4) && !isone(a) && !isone(a^2)
+
+    # reset variable for any subsequent (doc-)tests
+    set_variable!(K, "ζ")
   end
 
   @testset "Coercion" begin

diff --git a/test/StraightLinePrograms/runtests.jl b/test/StraightLinePrograms/runtests.jl
@@ -1,4 +1,12 @@
+# avoid polluting the main namespace to to preserve proper printing in doctests
+module SLPTest
+using ..Test
+using ..Oscar
+using ..Oscar: SLP
+
 include("setup.jl")
 include("straightline.jl")
 include("gap.jl")
 include("atlas.jl")
+
+end