39 lines
1.3 KiB
Erlang
39 lines
1.3 KiB
Erlang
%%%=============================================================================
|
|
%%% @copyright (C) 1999-2013, Erlang Solutions Ltd
|
|
%%% @author Diana Corbacho <diana.corbacho@erlang-solutions.com>
|
|
%%% @doc
|
|
%%% @end
|
|
%%%=============================================================================
|
|
-module(fusco_protocol_SUITE).
|
|
-copyright("2013, Erlang Solutions Ltd.").
|
|
|
|
-compile(export_all).
|
|
|
|
all() ->
|
|
[prop_http_response_close_connection,
|
|
prop_http_response_keep_alive,
|
|
prop_chunked_http_response_keep_alive].
|
|
|
|
%%==============================================================================
|
|
%% Test cases
|
|
%%==============================================================================
|
|
prop_http_response_close_connection(_) ->
|
|
do_prop(prop_http_response_close_connection).
|
|
|
|
prop_http_response_keep_alive(_) ->
|
|
do_prop(prop_http_response_keep_alive).
|
|
|
|
prop_chunked_http_response_keep_alive(_) ->
|
|
do_prop(prop_chunked_http_response_keep_alive).
|
|
|
|
%%==============================================================================
|
|
%% Internal functions
|
|
%%==============================================================================
|
|
do_prop(Case) ->
|
|
case eqc:counterexample(erlang:apply(fusco_protocol_eqc, Case, [])) of
|
|
true ->
|
|
true;
|
|
Value ->
|
|
exit(Value)
|
|
end.
|