Function z3_sys::Z3_append_log [−][src]
pub unsafe extern "C" fn Z3_append_log(string: Z3_string)
Expand description
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.