open_log method

bool open_log(
  1. Z3_string filename
)

@name Interaction logging / /**@{/ /** \brief Log interaction to a file.

\sa Z3_append_log \sa Z3_close_log

extra_API('Z3_open_log', INT, (_in(STRING),))

Implementation

bool open_log(
  Z3_string filename,
) {
  return _open_log(
    filename,
  );
}