-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.