commit 7678e30a9cf17f7f117d5bcc931f78c7fab82424
author Tuncer Ayaz <tuncer.ayaz@gmail.com> Wed Feb 07 00:09:56 2018 +0000
committer GitHub <noreply@github.com> Wed Feb 07 00:09:56 2018 +0000
tree cae2e9e37b9b58516b1b4cc7e49b2405bb9d8f74
parent 70a8d7080c57eb448d0bcc98633fd4320f0a9bb4
parent 8907f71f21272c992fc11038df76d3ace3e28e09

Merge pull request #74 from nickva/reduce-tries-on-non-empty-list-shrink-test

Avoid timeout in non_empty_list_shrink_test

test/triq_tests.erl

diff --git a/test/triq_tests.erl b/test/triq_tests.erl
index 40cbc27..7cdf9f7 100644
--- a/test/triq_tests.erl
+++ b/test/triq_tests.erl
@@ -163,7 +163,7 @@
                  [[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'