toggle_warning_messages method

void toggle_warning_messages(
  1. bool enabled
)

\brief Enable/disable printing warning messages to the console.

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

def_API('Z3_toggle_warning_messages', VOID, (_in(BOOL),))

Implementation

void toggle_warning_messages(
  bool enabled,
) {
  return _toggle_warning_messages(
    enabled,
  );
}