Increase timeout of oneof test from default 5 sec to 15 sec
In an overcrowded CI environment 5 sec is sometimes not enough.
diff --git a/test/triq_tests.erl b/test/triq_tests.erl
index 7cdf9f7..ad00aec 100644
--- a/test/triq_tests.erl
+++ b/test/triq_tests.erl
@@ -179,8 +179,11 @@
%is_pairs_list([X,X|T]) -> is_pairs_list(T);
%is_pairs_list(_) -> false.
-oneof_test() ->
- [{X,Y}] = triq:counterexample(
+oneof_test_() ->
+ {
+ timeout, 15,
+ fun() ->
+ [{X,Y}] = triq:counterexample(
?FORALL({X,Y},
?SUCHTHAT({A,B},
{oneof([int(),real()]),
@@ -191,10 +194,12 @@
is_integer(X) == is_integer(Y)
end
)),
- %% One variable must be equal to 0 and absolute value of the other must not
- %% be greater than 1.
- %% Note: 0 == 0.0
- ?assert((X * Y == 0) and (X + Y /= 0) and (abs(X) + abs(Y) =< 1)).
+ %% One variable must be equal to 0 and absolute value of the other
+ %% must not be greater than 1.
+ %% Note: 0 == 0.0
+ ?assert((X * Y == 0) and (X + Y /= 0) and (abs(X) + abs(Y) =< 1))
+ end
+ }.
%%
%% This test makes sure that X shrinks only to 3.
