Property test specs and add coverage

[hope.git] / test / hope_result_SUITE.erl

diff --git a/test/hope_result_SUITE.erl b/test/hope_result_SUITE.erl
index 618713d..4f16b64 100644 (file)
--- a/test/hope_result_SUITE.erl
+++ b/test/hope_result_SUITE.erl
@@ -1,14 +1,20 @@
 -module(hope_result_SUITE).
 
+-include_lib("proper/include/proper.hrl").
+
 %% Callbacks
 -export(
     [ all/0
     , groups/0
+    , init_per_group/2
+    , end_per_group/2
     ]).
 
 %% Test cases
 -export(
-    [ t_pipe/1
+    [ t_pipe_ok/1
+    , t_pipe_error/1
+    , t_hope_result_specs/1
     ]).
 
 
@@ -24,22 +30,36 @@ all() ->
 
 groups() ->
     Tests =
-        [ t_pipe
+        [ t_pipe_ok
+        , t_pipe_error
+        , t_hope_result_specs
         ],
-    Properties = [],
+    Properties = [parallel],
     [{?GROUP_PIPE, Properties, Tests}].
 
+init_per_group(?GROUP_PIPE, Cfg) ->
+    Steps =
+        [ fun (0) -> {ok, 1}; (X) -> {error, X} end
+        , fun (1) -> {ok, 2}; (X) -> {error, X} end
+        , fun (2) -> {ok, 3}; (X) -> {error, X} end
+        ],
+    hope_kv_list:set(Cfg, steps, Steps).
+
+end_per_group(?GROUP_PIPE, _Cfg) ->
+    ok.
+
 
 %% =============================================================================
 %%  Test cases
 %% =============================================================================
 
-t_pipe(_Config) ->
-    A = foo,
-    Z = qux,
-    Steps =
-        [ fun (foo) -> {ok, bar}; (X) -> {error, X} end
-        , fun (bar) -> {ok, baz}; (X) -> {error, X} end
-        , fun (baz) -> {ok, qux}; (X) -> {error, X} end
-        ],
-    {ok, Z} = hope_result:pipe(Steps, A).
+t_pipe_ok(Cfg) ->
+    {some, Steps} = hope_kv_list:get(Cfg, steps),
+    {ok, 3} = hope_result:pipe(Steps, 0).
+
+t_pipe_error(Cfg) ->
+    {some, Steps} = hope_kv_list:get(Cfg, steps),
+    {error, 1} = hope_result:pipe(Steps, 1).
+
+t_hope_result_specs(_) ->
+    [] = proper:check_specs(hope_result).