%% Test cases
-export(
[ t_unique_preserve_order/1
+ , t_hope_list_specs/1
]).
groups() ->
Tests =
[ t_unique_preserve_order
+ , t_hope_list_specs
],
- Properties = [],
+ Properties = [parallel],
[{?GROUP, Properties, Tests}].
hope_list:unique_preserve_order(L) ==
lists:reverse(lists:reverse(L) -- Duplicates)
end).
+
+t_hope_list_specs(_) ->
+ [] = proper:check_specs(hope_list).