yuanbiao
/
emqx
1
0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update testcases for session module

This commit is contained in:
terry-xiaoyu 2019-09-20 18:50:13 +08:00
parent fd455e57eb
commit 3a39442a1c
1 changed files with 5 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
test/emqx_session_SUITE.erl
View File

@ -35,7 +35,7 @@
all() -> emqx_ct:all(?MODULE). all() -> emqx_ct:all(?MODULE).
t_proper_session(_) -> t_proper_session(_) ->
Opts = [{numtests, 1000}, {to_file, user}], Opts = [{numtests, 100}, {to_file, user}],
ok = emqx_logger:set_log_level(emergency), ok = emqx_logger:set_log_level(emergency),
ok = before_proper(), ok = before_proper(),
?assert(proper:quickcheck(prop_session(), Opts)), ?assert(proper:quickcheck(prop_session(), Opts)),
@ -72,17 +72,17 @@ apply_ops(Session, [Op | Rest]) ->
apply_op(Session, info) -> apply_op(Session, info) ->
Info = emqx_session:info(Session), Info = emqx_session:info(Session),
?assert(is_map(Info)), ?assert(is_map(Info)),
?assertEqual(15, maps:size(Info)), ?assert(maps:size(Info) > 0),
Session; Session;
apply_op(Session, attrs) -> apply_op(Session, attrs) ->
Attrs = emqx_session:attrs(Session), Attrs = emqx_session:attrs(Session),
?assert(is_map(Attrs)), ?assert(is_map(Attrs)),
?assertEqual(2, maps:size(Attrs)), ?assert(maps:size(Attrs) > 0),
Session; Session;
apply_op(Session, stats) -> apply_op(Session, stats) ->
Stats = emqx_session:stats(Session), Stats = emqx_session:stats(Session),
?assert(is_list(Stats)), ?assert(is_list(Stats)),
?assertEqual(10, length(Stats)), ?assert(length(Stats) > 0),
Session; Session;
apply_op(Session, {info, InfoArg}) -> apply_op(Session, {info, InfoArg}) ->
_Ret = emqx_session:info(InfoArg, Session), _Ret = emqx_session:info(InfoArg, Session),
@ -182,7 +182,6 @@ info_args() ->
awaiting_rel, awaiting_rel,
max_awaiting_rel, max_awaiting_rel,
await_rel_timeout, await_rel_timeout,
expiry_interval,
created_at created_at
]). ]).
@ -270,11 +269,8 @@ await_rel_timeout() -> ?LET(Interval, choose(0, 150), Interval*1000).
max_inflight() -> choose(0, 10). max_inflight() -> choose(0, 10).
expiry_interval() -> ?LET(EI, choose(1, 10), EI * 3600).
option() -> option() ->
?LET(Option, [{receive_maximum , max_inflight()}, ?LET(Option, [{receive_maximum , max_inflight()}],
{expiry_interval, expiry_interval()}],
maps:from_list(Option)). maps:from_list(Option)).
session() -> session() ->