Hi,

Jason Merrill <jason@redhat.com> writes:

>
> I'd actually suggest "off" and "on" since it's really a boolean since
> "always_continue" was dropped.
>
>> +  std::cerr << "contract violation in function " << violation.function_name()
>> +    << " at " << violation.file_name() << ':' << violation.line_number()
>> +    << ": " << violation.comment()
>> +    << "\n[level:" << violation.assertion_level()
>
> Maybe omit level/role if "default"?

ACK on both, sounds good.

Have a great day.
-- 
Arsen Arsenović