Function z3_sys::Z3_eval_smtlib2_string

pub unsafe extern "C" fn Z3_eval_smtlib2_string(
    arg1: Z3_context, 
    str: Z3_string
) -> Z3_string

Parse and evaluate and SMT-LIB2 command sequence. The state from a previous call is saved so the next evaluation builds on top of the previous call.

Returns output generated from processing commands.