anchor.diff:          if State#scheduler_state.show_races ->
               ?unique(
                  Logger, ?lrace,
  -               "You can disable race pair messages with --show_races false~n",
  +               "You can disable race pair messages with '--show_races false'~n",
                  []),
               concuerror_logger:race(Logger, EarlyEvent, Event);
              true -> ok
  
positive.code:   case UnfilteredWarnings =/= Warnings of
      true ->
        Message = "Some errors were silenced (--ignore_error).~n",
        ?unique(Logger, ?linfo, Message, []);
      false ->
        ok
    end,
  
negative.code:         false ->
            Message =
              "Some interleavings were not considered due to delay bounding.~n",
            ?unique(Logger, ?lwarning, Message, []),
            ?debug(Logger, "     OVER BOUND~n",[]),
            skip
        end
  