Function z3_sys::Z3_toggle_warning_messages

pub unsafe extern "C" fn Z3_toggle_warning_messages(enabled: bool)

Enable/disable printing warning messages to the console.

Warnings are printed after passing true, warning messages are suppressed after calling this method with false.