[−][src]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.