Группа :: Development/Erlang
Пакет: erlang-proper
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Патч: erlang-proper-fedora-add-timeout-values-that-work-on-ARM.patch
Скачать
Скачать
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