Skip to content

Commit 11b936e

Browse files
committed
Make the targeted_shrinking tests more deterministic
1 parent 6c5dc68 commit 11b936e

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

test/targeted_shrinking_test.erl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -72,9 +72,9 @@ nf_list() ->
7272
fun (Prev, _T) ->
7373
{Max, NewLen} = case Prev of
7474
[] -> {0, 1};
75-
_ -> {lists:max(Prev), length(Prev)}
75+
_ -> {max(0, lists:max(Prev)), length(Prev)}
7676
end,
77-
?SHRINK(?LET(L, vector(NewLen, integer(Max, inf)), Prev ++ L),
77+
?SHRINK(vector(NewLen * 2, integer(Max, inf)),
7878
[list(integer())])
7979
end.
8080

0 commit comments

Comments
 (0)