home
/
code
/
hope.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
f2e1fff
)
Use property tests for map, map_rev and map_slow
author
Paul Oliver
<puzza007@gmail.com>
Tue, 23 Dec 2014 21:41:26 +0000
(22:41 +0100)
committer
Paul Oliver
<puzza007@gmail.com>
Tue, 23 Dec 2014 21:41:26 +0000
(22:41 +0100)
test/hope_list_SUITE.erl
patch
|
blob
|
blame
|
history
diff --git
a/test/hope_list_SUITE.erl
b/test/hope_list_SUITE.erl
index
6967458
..
1bed138
100644
(file)
--- a/
test/hope_list_SUITE.erl
+++ b/
test/hope_list_SUITE.erl
@@
-47,21
+47,25
@@
groups() ->
%% =============================================================================
t_map_rev(_Cfg) ->
%% =============================================================================
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).
+ ?PROPTEST(map_rev).
+
+map_rev() ->
+ ?FORALL({L, F}, {list(integer()), function([integer()], term())},
+ hope_list:map_rev(L, F) == lists:reverse(lists:map(F, L))).
t_map_slow(_Cfg) ->
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).
+ ?PROPTEST(map_slow).
+
+map_slow() ->
+ ?FORALL({L, F}, {list(integer()), function([integer()], term())},
+ hope_list:map_slow(L, F) == lists:map(F, L)).
t_map(_Cfg) ->
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
).
+ ?PROPTEST(map).
+
+map() ->
+
?FORALL({L, F}, {list(integer()), function([integer()], term())}
,
+
hope_list:map(L, F) == lists:map(F, L)
).
t_unique_preserve_order(_Cfg) ->
?PROPTEST(prop_unique_preserve_order).
t_unique_preserve_order(_Cfg) ->
?PROPTEST(prop_unique_preserve_order).
This page took
0.021205 seconds
and
4
git commands to generate.