anchor.diff:  %% Test Runner
   %% ===================================================================
   
  -execute(Nodes, {M, F, A}) ->
  +execute(Nodes, PerformPreloads, Replaying, Shrinking, Tracing, {M, F, A}) ->
       %% Ensure replaying option is set.
       lists:foreach(fun({ShortName, _}) ->
  -        ok = rpc:call(?NAME(ShortName), partisan_config, set, [replaying, true])
  +        ok = rpc:call(?NAME(ShortName), partisan_config, set, [replaying, Replaying])
       end, Nodes),
   
       %% Ensure shrinking option is set.
       lists:foreach(fun({ShortName, _}) ->
  -        ok = rpc:call(?NAME(ShortName), partisan_config, set, [shrinking, true])
  +        ok = rpc:call(?NAME(ShortName), partisan_config, set, [shrinking, Shrinking])
       end, Nodes),
   
       %% Deterministically seed the random number generator.
  
positive.code: %% ===================================================================
  %% Tests.
  %% ===================================================================
  
  model_checker_test(_Config) ->
      lager:info("~p: starting nodes!", [?MODULE]),
  
negative.code: 
                      %% Run the trace.
                      CommandFun = fun() ->
                          Replaying = true,
                          Shrinking = true,
                          Tracing = false,
                          PerformPreloads = true,
                          execute(Nodes, PerformPreloads, Replaying, Shrinking, Tracing, Counterexample)
                      end,
                      {CTime, ReturnValue} = timer:tc(CommandFun),
                      debug("Time: ~p ms. ~n", [CTime / 1000]),
  