anchor.diff:  
   run(RawOptions) ->
     try
  +    error_logger:tty(false),
       _ = [true = code:unstick_mod(M) || {M, preloaded} <- code:all_loaded()],
       [] = [D || D <- code:get_path(), ok =/= code:unstick_dir(D)],
       case code:get_object_code(erlang) =:= error of
  
positive.code:     end
    catch
      _:_ ->
        {io_lib:format("~n  Reason: ~p~nTrace:~n  ~p~n", [Reason, Stacktrace]),
         error}
    end.
  
negative.code:     Options = concuerror_options:finalize([{processes, Processes}|RawOptions]),
      Logger = concuerror_logger:start(Options),
      SchedulerOptions = [{logger, Logger}|Options],
      {Pid, Ref} =
        spawn_monitor(fun() -> concuerror_scheduler:run(SchedulerOptions) end),
      Reason = receive {'DOWN', Ref, process, Pid, R} -> R end,
  