anchor.diff:      {ConnectedFails, SymmetryFails}.
   
   %% @private
  -verify_leave(Nodes, Manager) ->
  +verify_self_leave(Nodes, Manager) ->
       %% Pause for gossip interval * node exchanges + gossip interval for full convergence.
       timer:sleep(?PERIODIC_INTERVAL * length(Nodes) + ?PERIODIC_INTERVAL),
   
  
positive.code: 
  ok.
  
  
  %% @private
  rand_bits(Bits) ->
  
negative.code:      {simple, [],
        [basic_test,
         leave_test,
         self_leave_test,
         on_down_test,
         rpc_test,
         client_server_manager_test,
  