Function z3_sys::Z3_eval_smtlib2_string [−][src]
pub unsafe extern "C" fn Z3_eval_smtlib2_string(
arg1: Z3_context,
str: Z3_string
) -> Z3_string
Expand description
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.