Function z3_sys::Z3_finalize_memory
source · pub unsafe extern "C" fn Z3_finalize_memory()Expand description
Destroy all allocated resources.
Any pointers previously returned by the API become invalid. Can be used for memory leak detection.