anchor.diff:                                  {GenIteration0 + 1, GenNumPassed0, GenNumFailed0, GetNumPruned0 + 1, GenClassificationsExplored0, GenAdditionalTraces0}
                           end;
                       _Other ->
  +                        io:format("Inserting into generated schedule list.~n", []),
  +
                           %% Store generated schedule.
                           true = ets:insert(?SCHEDULES, {GenIteration0, {Omissions, FinalTraceLines, ClassifySchedule, ScheduleValid}}),
   
  
positive.code:         end,
          io:format("ValidOmissions: ~p~n", [ValidOmissions]),
  
          case ValidatedCausality andalso not lists:member(EarlyClassification, GenClassificationsExplored0) of
              true ->
                  io:format("Entering generation pass.~n", []),
  
  
negative.code:                     ClassificationsExplored = ClassificationsExplored0 ++ [Classification],
                      io:format("=> Classification for this test: ~p~n", [Classification]),
  
                      MessageTypes = message_types(TraceLines),
                      io:format("=> MessageTypes for this test: ~p~n", [MessageTypes]),
  
                      %% Run the trace.
                      Command = "rm -rf priv/lager; IMPLEMENTATION_MODULE=" ++ os:getenv("IMPLEMENTATION_MODULE") ++ " SHRINKING=true REPLAY=true PRELOAD_OMISSIONS_FILE=" ++ PreloadOmissionFile ++ " REPLAY_TRACE_FILE=" ++ ReplayTraceFile ++ " TRACE_FILE=" ++ TraceFile ++ " ./rebar3 proper --retry | tee /tmp/partisan.output",
                      io:format("Executing command for iteration ~p:~n", [Iteration]),
  