anchor.diff:                                              Id,
                                               AdsWithContracts,
                                               undefined,
  +                                            dict:new(),
                                               dict:new()])
                                   end, lists:seq(1, NumClients)),
       {ok, State#state{client_list=Clients}}.
  
positive.code: -author("Christopher Meiklejohn <christopher.meiklejohn@gmail.com>").
  
  -export([run/1,
           client/8,
           server/2]).
  
  -behaviour(lasp_simulation).
  
negative.code:                 end, AdIds).
  
  %% @doc Periodically synchronize state with the server.
  synchronize(SetType, AdsWithContractsId, AdsWithContracts0, Counters0) ->  
      %% Get latest list of advertisements from the server.
      Term1 = {ok, {_, _, _, AdsWithContracts}} = lasp:read(AdsWithContractsId, AdsWithContracts0),
      log_transmission(Term1),
  