X-Git-Url: https://git.xandkar.net/?p=hope.git;a=blobdiff_plain;f=test%2Fhope_list_SUITE.erl;h=fd2393cfe3c99b83aad9ad0417777a11d87e1236;hp=819c4fc476be5bcee3105e8a0e501f4a5c7cba10;hb=8bbf6f4d400d79736e7866d67ecb3517b61bb1c1;hpb=5bf3cf5421035240626613376c05644c8bd27908 diff --git a/test/hope_list_SUITE.erl b/test/hope_list_SUITE.erl index 819c4fc..fd2393c 100644 --- a/test/hope_list_SUITE.erl +++ b/test/hope_list_SUITE.erl @@ -11,6 +11,7 @@ %% Test cases -export( [ t_unique_preserve_order/1 + , t_hope_list_specs/1 ]). @@ -29,8 +30,9 @@ all() -> groups() -> Tests = [ t_unique_preserve_order + , t_hope_list_specs ], - Properties = [], + Properties = [parallel], [{?GROUP, Properties, Tests}]. @@ -48,3 +50,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).