diff -up ./test/triq_tests.erl.orig ./test/triq_tests.erl --- ./test/triq_tests.erl.orig 2018-09-22 21:48:10.985036436 +0300 +++ ./test/triq_tests.erl 2018-09-22 21:48:25.965063574 +0300 @@ -188,7 +188,7 @@ non_empty_list_shrink_test() -> oneof_test_() -> { - timeout, 15, + timeout, 30, fun() -> [{X,Y}] = triq:counterexample( ?FORALL({X,Y}, diff -up ./test/triq_tests.erl.orig ./test/triq_tests.erl --- ./test/triq_tests.erl.orig 2018-09-22 21:53:52.295655554 +0300 +++ ./test/triq_tests.erl 2018-09-22 21:53:59.285668251 +0300 @@ -244,8 +244,13 @@ choose_test_() -> %% Test binary shrinking %% binary_test() -> - [X] = triq:counterexample(?FORALL(_, binary(2), false)), - <<0,0>> = X. + { + timeout, 30, + fun() -> + [X] = triq:counterexample(?FORALL(_, binary(2), false)), + <<0,0>> = X + end + }. not_reach_rsn() -> ?LET(Rsn,choose(2,5),<<Rsn>>).