woody_erlang/test/woody_joint_workers_SUITE.erl
Sergey Yelin 330bdcf71e
ED-204: Move woody_api_hay to separate repo (#153)
* ED-204: Move woody_api_hay to separate repo

* Move woody_client_metrics to woody_api_hay repo

* proper 1.4.0

* Fix proper
2021-08-11 22:24:08 +03:00

58 lines
1.1 KiB
Erlang

-module(woody_joint_workers_SUITE).
-include_lib("common_test/include/ct.hrl").
-export([
all/0,
init_per_suite/1,
end_per_suite/1
]).
-export([prop_test/1]).
-type config() :: [{atom(), any()}].
-type case_name() :: atom().
-spec all() -> [case_name()].
-spec init_per_suite(config()) -> config().
-spec end_per_suite(config()) -> any().
-spec prop_test(config()) -> ok.
%%
%% tests descriptions
%%
all() ->
[
prop_test
].
%%
%% starting/stopping
%%
init_per_suite(C) ->
% dbg:tracer(), dbg:p(all, c),
% dbg:tpl({woody_joint_workers, do, 4}, x),
{ok, Apps} = application:ensure_all_started(woody),
[{apps, Apps} | C].
end_per_suite(C) ->
[application:stop(App) || App <- ?config(apps, C)].
%%
%% tests
%%
%% Suppress proper's internal type mismatch for setup generator
-dialyzer([no_return, no_opaque]).
prop_test(_C) ->
R = proper:quickcheck(
woody_joint_workers_pt:prop_test(),
% default options
[noshrink]
),
case R of
true -> ok;
Error -> exit(Error)
end.