Potentially reduce runtime of testsuite in CI

Seelengrab · Feb 20, 2024 · acf7400 · acf7400
1 parent c476a53
commit acf7400
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/test/runtests.jl b/test/runtests.jl
@@ -466,7 +466,8 @@ const verb = VERSION.major == 1 && VERSION.minor < 11
             @testset "Additive properties" begin
                 Supposition.@check verbose=verb associative(Data.Just(add), intgen, intgen, intgen)
                 Supposition.@check verbose=verb identity_add(Data.Just(add), intgen)
-                Supposition.@check verbose=verb successor(intgen, intgen)
+                int16gen = Data.Integers{UInt16}()
+                Supposition.@check verbose=verb max_examples=1_000 successor(int16gen, int16gen)
                 Supposition.@check verbose=verb commutative(intgen, intgen)
             end