Merge pull request #74 from nickva/reduce-tries-on-non-empty-list-shr…

…ink-test Avoid timeout in non_empty_list_shrink_test
apache · Feb 7, 2018 · 7678e30 · 7678e30
2 parents 70a8d70 + 8907f71
commit 7678e30
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/triq_tests.erl b/test/triq_tests.erl
@@ -163,7 +163,7 @@ non_empty_list_shrink_test() ->
                  [[0]] =:= triq:counterexample(
                            ?FORALL(_, non_empty(list(int())), false))
          end,
-         lists:seq(1, 25))).
+         lists:seq(1, 15))).
 
 %list_shrink2_testx() ->
 %    %% test that a list doesn't easily end in a local 'smallest counterexample'