Skip to content

Commit

Permalink
fix: test
Browse files Browse the repository at this point in the history
  • Loading branch information
qzhuyan committed May 21, 2024
1 parent 272befb commit 4f4d649
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions test/prop_stateful_client_conn.erl
Original file line number Diff line number Diff line change
Expand Up @@ -191,11 +191,11 @@ postcondition(
) ->
Owner =/= self();
postcondition(
#{owner := Owner, state := connected},
{call, quicer, controlling_process, [_, _]},
#{owner := _, state := connected},
{call, quicer, controlling_process, [_, NewOwner]},
{error, owner_dead}
) ->
Owner =/= self();
NewOwner =/= self();
%% postcondition(#{owner := Owner, state := closed} = State, {call, quicer, controlling_process, [_, _]}, {error, not_owner}) ->
%% true;
postcondition(#{handle := H, state := connected}, {call, quicer, get_connections, _}, Conns) ->
Expand Down

0 comments on commit 4f4d649

Please sign in to comment.