pub unsafe extern "C" fn Z3_toggle_warning_messages(enabled: bool)Expand description
Enable/disable printing warning messages to the console.
Warnings are printed after passing true, warning messages are
suppressed after calling this method with false.