Function z3_sys::Z3_toggle_warning_messages
[−]
[src]
pub unsafe extern "C" fn Z3_toggle_warning_messages(enabled: Z3_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
.