finalize_memory method

void finalize_memory()

\brief Destroy all allocated resources.

Any pointers previously returned by the API become invalid. Can be used for memory leak detection.

def_API('Z3_finalize_memory', VOID, ())

Implementation

void finalize_memory() {
  return _finalize_memory();
}