test(proper): avoid to generate any term

This commit is contained in:
JianBo He 2021-04-15 16:49:38 +08:00 committed by turtleDeng
parent 36663b9cb1
commit 50f6ff4151
1 changed files with 4 additions and 1 deletions

View File

@ -376,7 +376,10 @@ unsub_properties() ->
#{}. #{}.
shutdown_reason() -> shutdown_reason() ->
oneof([any(), {shutdown, emqx_ct_proper_types:limited_atom()}]). oneof([disconnected, not_autherised,
"list_reason", <<"binary_reason">>,
{tuple, reason},
{shutdown, emqx_ct_proper_types:limited_atom()}]).
empty_env() -> empty_env() ->
{undefined}. {undefined}.