From 418a2408cf75fb685a9339de8f37d85ee33a67c7 Mon Sep 17 00:00:00 2001
From: Randy Barlow <randy@electronsweatshop.com>
Date: Sat, 25 Feb 2017 11:53:01 -0500
Subject: [PATCH] Increase adts_test's timeout for testing on slow arches

This patch was originally authored by Kostis Sagonas and was
backported to apply against PropEr 1.2.

Signed-off-by: Randy Barlow <randy@electronsweatshop.com>
---
 test/proper_tests.erl | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

diff --git a/test/proper_tests.erl b/test/proper_tests.erl
index d7a9049..8e9e341 100644
--- a/test/proper_tests.erl
+++ b/test/proper_tests.erl
@@ -1043,15 +1043,14 @@ options_test_() ->
 
 adts_test_() ->
     [{timeout, 20,	% for Kostis' old laptop
-      ?_passes(?FORALL({X,S},{integer(),?SET()},
+      ?_passes(?FORALL({X,S}, {integer(),?SET()},
 		       sets:is_element(X,sets:add_element(X,S))), [20])},
-     {timeout, 40,	% for 18.x (and onwards?)
-      ?_passes(?FORALL({X,Y,D},
-		       {integer(),float(),?DICT(integer(),float())},
+     {timeout, 128,	% for 18.x (and onwards?)
+      ?_passes(?FORALL({X,Y,D}, {integer(),float(),?DICT(integer(),float())},
 		       dict:fetch(X,dict:store(X,Y,eval(D))) =:= Y), [30])},
-     ?_fails(?FORALL({X,D},
-	     {boolean(),?DICT(boolean(),integer())},
-	     dict:erase(X, dict:store(X,42,D)) =:= D))].
+     {timeout, 256,      % seems to be needed on slow machines (ARM)
+      ?_fails(?FORALL({X,D}, {boolean(),?DICT(boolean(),integer())},
+                    dict:erase(X, dict:store(X,42,D)) =:= D))}].
 
 parameter_test_() ->
     ?_passes(?FORALL(List, [zero1(),zero2(),zero3(),zero4()],
-- 
2.11.1