eval_smtlib2_string method

Z3_string eval_smtlib2_string(
  1. Z3_context c,
  2. Z3_string str
)

\brief 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.

def_API('Z3_eval_smtlib2_string', STRING, (_in(CONTEXT), _in(STRING),))

Implementation

Z3_string eval_smtlib2_string(
  Z3_context c,
  Z3_string str,
) {
  return _eval_smtlib2_string(
    c,
    str,
  );
}