Function z3_sys::Z3_open_log

pub unsafe extern "C" fn Z3_open_log(filename: Z3_string) -> bool

Log interaction to a file.

See also:

• Z3_append_log
• Z3_close_log