anchor.diff:        filter_warnings(NewWarnings, Ignored, Logger)
     end.
   
  +add_warning(Warning, #scheduler_state{trace = Trace} = State) ->
  +  add_warning(Warning, Trace, State).
  +
  +add_warning(Warning, Trace, State) ->
  +  add_warnings([Warning], Trace, State).
  +
  +add_warnings(Warnings, Trace, State) ->
  +  #scheduler_state{current_warnings = OldWarnings} = State,
  +  State#scheduler_state{
  +    current_warnings = Warnings ++ OldWarnings,
  +    trace = Trace
  +   }.
  +
   %%------------------------------------------------------------------------------
   
   get_next_event(
     #scheduler_state{
  -     current_warnings = Warnings,
        depth_bound = Bound,
        logger = Logger,
        trace = [#trace_state{index = I}|Old]} = State) when I =:= Bound + 1 ->
  
positive.code:     "Some interleaving reached the depth bound (~p). Consider limiting the size"
      " of the test or increasing the bound.~n",
    ?unique(Logger, ?lwarning, UniqueMsg, [Bound]),
    NewState =
      State#scheduler_state{
        current_warnings = [{depth_bound, Bound}|Warnings],
        trace = Old},
    {none, NewState};
  get_next_event(#scheduler_state{logger = Logger, trace = [Last|_]} = State) ->
    #trace_state{wakeup_tree = WakeupTree} = Last,
  
negative.code:              true -> ok
            end,
            #event{actor = Actor} = Event,
            Stacktrace = Exit#exit_event.stacktrace,
            add_warning({crash, {Index, Actor, Reason, Stacktrace}}, State)
        end;
      #builtin_event{mfargs = {erlang, exit, [_,Reason]}}
        when Reason =/= normal ->
  