z3GlobalWarningMessages function

void z3GlobalWarningMessages(
  1. bool enabled
)

Enable or disable printing warning messages to the console.

Implementation

void z3GlobalWarningMessages(bool enabled) =>
    _libz3.toggle_warning_messages(enabled);