anchor.diff:            print_depth                  :: pos_integer(),
             processes                    :: processes(),
             receive_timeout_total        :: non_neg_integer(),
  +          report_error                 :: [{interleaving_error_tag(), scope()}],
             scheduling                   :: concuerror_options:scheduling(),
             scheduling_bound_type        :: concuerror_options:scheduling_bound_type(),
             show_races                   :: boolean(),
  
positive.code:   #scheduler_state{
       ignore_error = Ignored,
       interleaving_errors = UnfilteredErrors,
       logger = Logger
      } = State,
    TaggedErrors = [{true, E} || E <- UnfilteredErrors],
    IgnoredErrors = update_all_tags(TaggedErrors, Ignored, false),
    FinalErrors = [E || {true, E} <- IgnoredErrors],
    case FinalErrors =/= UnfilteredErrors of
      true ->
        UniqueMsg = "Some errors were ignored ('--ignore_error').~n",
  
negative.code:        print_depth = ?opt(print_depth, Options),
         processes = Processes = ?opt(processes, Options),
         receive_timeout_total = 0,
         report_error = [],
         scheduling = ?opt(scheduling, Options),
         scheduling_bound_type = SchedulingBoundType,
         show_races = ?opt(show_races, Options),
  