From 47282ca6eb94ebea206e65f185071a4d7b427d99 Mon Sep 17 00:00:00 2001
From: Kostis Sagonas <kostis@it.uu.se>
Date: Wed, 22 Feb 2017 22:46:01 +0100
Subject: [PATCH] Increase adts_test's timeout for testing on slow arches
---
test/proper_tests.erl | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/test/proper_tests.erl b/test/proper_tests.erl
index aacad4c..8e539b5 100644
--- a/test/proper_tests.erl
+++ b/test/proper_tests.erl
@@ -1107,10 +1107,10 @@ setup_test_() ->
-endif.
adts_test_() ->
- [{timeout, 20, % for Kostis' old laptop
+ [{timeout, 42, % for Kostis' old laptop
?_passes(?FORALL({X,S},{integer(),?SET()},
sets:is_element(X,sets:add_element(X,S))), [20])},
- {timeout, 40, % for 18.x (and onwards?)
+ {timeout, 84, % for 18.x (and onwards?) on slow machines
?_passes(?FORALL({X,Y,D},
{integer(),float(),?DICT(integer(),float())},
dict:fetch(X,dict:store(X,Y,eval(D))) =:= Y), [30])},
--
2.11.1