anchor.diff:      %% Insert empty replay state for the first run.
       state:insert(InitState),
       {T1, _} = statistics(wall_clock),
  -    Result = interleave_loop(Target, 1, [], DetailsFlag),
  +    Result = interleave_loop(Target, 1, [], Det),
       {T2, _} = statistics(wall_clock),
       Time = elapsed_time(T1, T2),
       state:stop(),
  
positive.code: %% messages received from the running process to the appropriate handler
  %% functions.
  driver(#info{active = Active, blocked = Blocked,
  	     error = Error, state = State} = Info,
         StateList, DetailsFlag) when is_boolean(DetailsFlag) ->
      %% Assertion violation check.
      case Error of
  	assert -> {error, assert, State};
  
negative.code: 
  %% Delegates messages sent by instrumented client code to the appropriate
  %% handlers.
  dispatcher(Info) ->
      receive
  	#sched{msg = block, pid = Pid} ->
  	    handler(block, Pid, Info, empty);
  	#sched{msg = link, pid = Pid, misc = TargetPid} ->
  	    handler(link, Pid, Info, TargetPid);
  	#sched{msg = 'receive', pid = Pid, misc = {_From, _Msg} = Misc} ->
  	    handler('receive', Pid, Info, Misc);
  	#sched{msg = send, pid = Pid, misc = {_Dest, _Msg} = Misc} ->
  	    handler(send, Pid, Info, Misc);
  	#sched{msg = spawn, pid = Pid, misc = ChildPid} ->
  	    handler(spawn, Pid, Info, ChildPid);
  	#sched{msg = yield, pid = Pid} ->
  	    handler(yield, Pid, Info, empty);
  	{'EXIT', Pid, Reason} ->
  	    handler(exit, Pid, Info, Reason);
  	Other ->
  	    log:internal("Dispatcher received: ~p~n", [Other])
      end.
  