anchor.diff:      rpc_cast(Cp5, ?MODULE, single_node, [Time, Cp4, Config]),
   
       %% sleep to make the partitioned net ready
  -    ct:sleep(Time - msec()),
  +    sleep(Time - msec()),
   
       pong = net_adm:ping(Cp0),
       pong = net_adm:ping(Cp1),
  
positive.code: 
  %% The emulator now ensures that the node has been removed from
  %% nodes().
  rpc_disconnect_node(Node, DisconnectedNode, _Config) ->
      True = rpc:call(Node, erlang, disconnect_node, [DisconnectedNode]),
      False = lists:member(DisconnectedNode, rpc:call(Node, erlang, nodes, [])),
      {true, false} = {True, False}.
  
  %%%
  %%% Utility
  
negative.code: 	{'DOWN', Ref, process, Pid, _Reason} ->
  	    ok
      end.
  
  sleep(Time) when Time > 0 ->
      ct:sleep(Time);
  sleep(_Time) ->
      ok.
  
  check_everywhere(Nodes, Name, Config) ->
      ?UNTIL(begin
  