Nemocas/Nemo.jl#1174 is resolved

Nemocas · Oct 1, 2024 · faee07a · faee07a
1 parent 11bbd58
commit faee07a
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/test/Rings-conformance-tests.jl b/test/Rings-conformance-tests.jl
@@ -348,9 +348,8 @@ function test_EuclideanRing_interface(R::AbstractAlgebra.Ring; reps = 20)
          (a, b) = divides(f*m + g, m)
          @test !a || b*m == f*m + g
 
-         #TODO: enable once https://github.com/Nemocas/Nemo.jl/issues/1174
-         #@test_throws Exception remove(f, zero(R))
-         #@test_throws Exception valuation(f, zero(R))
+         @test_throws Exception remove(f, zero(R))
+         @test_throws Exception valuation(f, zero(R))
 
          if !is_unit(m) && !iszero(f)
             n = rand(0:3)