X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=test%2Fhope_list_SUITE.erl;h=69674582f2e2b07ab7faf0daef5ea5d474b585ca;hb=ff793acf03456b6bd4c12ea330a9311f7e94cc77;hp=819c4fc476be5bcee3105e8a0e501f4a5c7cba10;hpb=5bf3cf5421035240626613376c05644c8bd27908;p=hope.git diff --git a/test/hope_list_SUITE.erl b/test/hope_list_SUITE.erl index 819c4fc..6967458 100644 --- a/test/hope_list_SUITE.erl +++ b/test/hope_list_SUITE.erl @@ -11,6 +11,10 @@ %% Test cases -export( [ t_unique_preserve_order/1 + , t_hope_list_specs/1 + , t_map_rev/1 + , t_map_slow/1 + , t_map/1 ]). @@ -29,8 +33,12 @@ all() -> groups() -> Tests = [ t_unique_preserve_order + , t_hope_list_specs + , t_map_rev + , t_map_slow + , t_map ], - Properties = [], + Properties = [parallel], [{?GROUP, Properties, Tests}]. @@ -38,6 +46,23 @@ groups() -> %% Test cases %% ============================================================================= +t_map_rev(_Cfg) -> + F = fun (N) -> N + 1 end, + [4, 3, 2] = hope_list:map_rev([1, 2, 3], F), + [] = hope_list:map_rev([], F). + +t_map_slow(_Cfg) -> + F = fun (N) -> N + 1 end, + [2, 3, 4] = hope_list:map_slow([1, 2, 3], F), + [] = hope_list:map_slow([], F). + +t_map(_Cfg) -> + F = fun (N) -> N + 1 end, + Xs = lists:seq(1, 5010), + Ys = lists:map(F, Xs), + Ys = hope_list:map(Xs, F), + [] = hope_list:map([], F). + t_unique_preserve_order(_Cfg) -> ?PROPTEST(prop_unique_preserve_order). @@ -48,3 +73,6 @@ prop_unique_preserve_order() -> hope_list:unique_preserve_order(L) == lists:reverse(lists:reverse(L) -- Duplicates) end). + +t_hope_list_specs(_) -> + [] = proper:check_specs(hope_list).