Function z3_sys::Z3_append_log

pub unsafe extern "C" fn Z3_append_log(string: Z3_string)

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.