From: Paul Oliver Date: Tue, 23 Dec 2014 21:41:45 +0000 (+0100) Subject: Add test for map/3 X-Git-Tag: 2.0.0~1^2 X-Git-Url: https://git.xandkar.net/?p=hope.git;a=commitdiff_plain;h=fad0cddcfc72f2251a7510bde34e6105c01c5ebe Add test for map/3 --- diff --git a/test/hope_list_SUITE.erl b/test/hope_list_SUITE.erl index 1bed138..9557aab 100644 --- a/test/hope_list_SUITE.erl +++ b/test/hope_list_SUITE.erl @@ -15,6 +15,7 @@ , t_map_rev/1 , t_map_slow/1 , t_map/1 + , t_map_3/1 ]). @@ -37,6 +38,7 @@ groups() -> , t_map_rev , t_map_slow , t_map + , t_map_3 ], Properties = [parallel], [{?GROUP, Properties, Tests}]. @@ -67,6 +69,13 @@ map() -> ?FORALL({L, F}, {list(integer()), function([integer()], term())}, hope_list:map(L, F) == lists:map(F, L)). +t_map_3(_Cfg) -> + ?PROPTEST(map_3). + +map_3() -> + ?FORALL({L, F, N}, {list(integer()), function([integer()], term()), non_neg_integer()}, + hope_list:map(L, F, N) == lists:map(F, L)). + t_unique_preserve_order(_Cfg) -> ?PROPTEST(prop_unique_preserve_order).