Function z3_sys::Z3_finalize_memory

pub unsafe extern "C" fn Z3_finalize_memory()

Destroy all allocated resources.

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