append_log method

void append_log(
  1. Z3_string string
)

\brief Append user-defined string to interaction log.

The interaction log is opened using #Z3_open_log. It contains the formulas that are checked using Z3. You can use this command to append comments, for instance.

\sa Z3_open_log \sa Z3_close_log

extra_API('Z3_append_log', VOID, (_in(STRING),))

Implementation

void append_log(
  Z3_string string,
) {
  return _append_log(
    string,
  );
}