Skip to content
This repository has been archived by the owner. It is now read-only.
Permalink
Browse files
Avoid timeout in non_empty_list_shrink_test
On Gitlab's CI sometimes the test fails with a timeout. When run locally it
takes about 2 seconds to run on a relatively new laptop. So on a heavly loaded
CI environment it's plausible it would take more than 5 seconds sometime.

Reduce the number of tries from 25 to 15. Now it takes under a second to run,
hopefully that gives it enough headroom in the CI environment.
  • Loading branch information
nickva committed Feb 6, 2018
1 parent 70a8d70 commit 8907f71f21272c992fc11038df76d3ace3e28e09
Showing 1 changed file with 1 addition and 1 deletion.
@@ -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'

0 comments on commit 8907f71

Please sign in to comment.