-proper_spec_map_rev() ->
- ?FORALL({L, F}, {type_l(), type_f()},
+t_manual_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).
+
+%% =============================================================================
+%% Generated test cases
+%% =============================================================================
+
+t_auto_map_rev(_Cfg) ->
+ ?TEST(?FORALL({L, F}, {type_l(), type_f()},