Function z3_sys::Z3_finalize_memory [−][src]
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.