anchor.diff:      [{ignore_error, fun(X) -> not lists:member(crash, X) end}],
       Rest ++ Acc, Assert),
     consistent(Rest, [Assert|Acc]);
  -consistent([{scheduling_bound, N} = Bound|Rest], Acc) when is_integer(N) ->
  +consistent([{scheduling_bound, _} = Bound|Rest], Acc) ->
     check_values(
       [{scheduling_bound_type, fun(X) -> lists:member(X, [bpor, simple]) end}],
       Rest ++ Acc,
  
positive.code:   put(warnings, [io_lib:format(Format ++ "~n", Data)|Warnings]),
    ok.
  
  get_all_warnings() ->
    case erase(warnings) of
      undefined -> [];
  
negative.code:     "- 'simple': how many times per interleaving the scheduler is allowed~n"
      "            to pick a process different from the 'default one' to~n"
      "            schedule."}
    ,{scheduling_bound, $b, integer,
      "Scheduling bound value",
      "The maximum number of times the rule specified in '--scheduling_bound_type'"
      " can be violated."}
  