anchor.diff:      end
     catch
       _:_ ->
  -      {io_lib:format("~n  Reason: ~p~nTrace:~n  ~p~n", [Reason, Stacktrace]),
  -       error}
  +      Str =
  +        io_lib:format("~n  Reason: ~p~nTrace:~n  ~p~n", [Reason, Stacktrace]),
  +      {Str, error}
     end.
  
positive.code: 
  run(RawOptions) ->
    try
      _ = [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
  
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,
  