anchor.diff:                      ok = check_forward_message(Node, Manager)
                     end, Nodes),
   
  +    %% Verify correct behaviour when a node is stopped
  +    {_, KilledNode} = N0 = random(Nodes, []),
  +    ok = rpc:call(KilledNode, partisan, stop, []),
  +    CheckStoppedFun = fun() ->
  +                        case hyparview_check_stopped_member(KilledNode, Nodes -- [N0]) of
  +                            [] -> true;
  +                            FailedNodes ->
  +                                FailedNodes
  +                        end
  +                      end,
  +    case wait_until(CheckStoppedFun, 60 * 2, 100) of
  +        ok ->
  +            ok;
  +        {fail, FailedNodes} ->
  +            ct:fail("~p has been killed, it should not be in membership of nodes ~p",
  +                    [KilledNode, FailedNodes])
  +    end,
  +
       %% Stop nodes.
       stop(Nodes),
   
  
positive.code:             end, Nodes),
  
      {ConnectedFails, SymmetryFails}.
  
  
negative.code:                     ok = check_forward_message(Node, Manager)
                    end, Nodes),
  
      %% Verify correct behaviour when a node is stopped
      {_, KilledNode} = N0 = random(Nodes, []),
      ok = rpc:call(KilledNode, partisan, stop, []),
      CheckStoppedFun = fun() ->
                          case hyparview_check_stopped_member(KilledNode, Nodes -- [N0]) of
                              [] -> true;
                              FailedNodes ->
                                  FailedNodes
                          end
                        end,
      case wait_until(CheckStoppedFun, 60 * 2, 100) of
          ok ->
              ok;
          {fail, FailedNodes} ->
              ct:fail("~p has been killed, it should not be in membership of nodes ~p",
                      [KilledNode, FailedNodes])
      end,
  
      %% Stop nodes.
      stop(Nodes),
  
  