Function z3_sys::Z3_get_symbol_string

pub unsafe extern "C" fn Z3_get_symbol_string(
    c: Z3_context, 
    s: Z3_symbol
) -> Z3_string

Return the symbol name.

Warning: The returned buffer is statically allocated by Z3. It will be automatically deallocated when Z3_del_context is invoked. So, the buffer is invalidated in the next call to Z3_get_symbol_string.

Preconditions:

• Z3_get_symbol_kind(s) == SymbolKind::String

See also:

• Z3_mk_string_symbol