mk_u32string method

Z3_ast mk_u32string(
  1. Z3_context c,
  2. int len,
  3. Pointer<UnsignedInt> chars
)

\brief Create a string constant out of the string that is passed in It takes the length of the string as well to take into account 0 characters. The string is unescaped.

def_API('Z3_mk_u32string', AST, (_in(CONTEXT), _in(UINT), _in_array(1, UINT)))

Implementation

Z3_ast mk_u32string(
  Z3_context c,
  int len,
  ffi.Pointer<ffi.UnsignedInt> chars,
) {
  return _mk_u32string(
    c,
    len,
    chars,
  );
}