anchor.diff:          [sleep_set_block];
         false ->
           case concuerror_callback:collect_deadlock_info(Actors) of
  -          [] -> Warnings;
  +          [] -> [];
             Info ->
               ?debug(Logger, "Deadlock: ~p~n", [[P || {P,_} <- Info]]),
  -            [{deadlock, Info}|Warnings]
  +            [{deadlock, Info}]
           end
       end,
  -  {none, State#scheduler_state{current_warnings = NewWarnings, trace = Prev}}.
  +  {none, add_warnings(NewWarnings, Prev, State)}.
   
   reset_event(#event{actor = Actor, event_info = EventInfo}) ->
     ResetEventInfo =
  
positive.code:              true -> ok
            end,
            #event{actor = Actor} = Event,
            Warnings = State#scheduler_state.current_warnings,
            Stacktrace = Exit#exit_event.stacktrace,
            NewWarnings = [{crash, {Index, Actor, Reason, Stacktrace}}|Warnings],
            State#scheduler_state{current_warnings = NewWarnings}
        end;
      #builtin_event{mfargs = {erlang, exit, [_,Reason]}}
        when Reason =/= normal ->
  
negative.code:       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{
       depth_bound = Bound,
       logger = Logger,
       trace = [#trace_state{index = I}|Old]} = State) when I =:= Bound + 1 ->
  