X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=test%2Fhope_list_SUITE.erl;h=38d406a3ca1a7518ed6274b7da8a5a2095a723d1;hb=5e20a66741da70b194b5d74589f98605a69fd0f4;hp=819c4fc476be5bcee3105e8a0e501f4a5c7cba10;hpb=5bf3cf5421035240626613376c05644c8bd27908;p=hope.git diff --git a/test/hope_list_SUITE.erl b/test/hope_list_SUITE.erl index 819c4fc..38d406a 100644 --- a/test/hope_list_SUITE.erl +++ b/test/hope_list_SUITE.erl @@ -11,6 +11,9 @@ %% Test cases -export( [ t_unique_preserve_order/1 + , t_hope_list_specs/1 + , t_map_rev/1 + , t_map_slow/1 ]). @@ -29,8 +32,11 @@ all() -> groups() -> Tests = [ t_unique_preserve_order + , t_hope_list_specs + , t_map_rev + , t_map_slow ], - Properties = [], + Properties = [parallel], [{?GROUP, Properties, Tests}]. @@ -38,6 +44,16 @@ 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_unique_preserve_order(_Cfg) -> ?PROPTEST(prop_unique_preserve_order). @@ -48,3 +64,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).