z3GlobalWarningMessages function

void z3GlobalWarningMessages(
  1. bool enabled
)

Implementation

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