X-Git-Url: https://git.xandkar.net/?p=hope.git;a=blobdiff_plain;f=test%2Fhope_list_SUITE.erl;h=9557aab7d96c2786f038ada909eb93a3bc19f731;hp=1bed1389d50cb73e89ccd548ba0fd416398468d5;hb=fad0cddcfc72f2251a7510bde34e6105c01c5ebe;hpb=886a95577573f5dd5e4b359a0fa182c491029457 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).