Function z3_sys::Z3_reset_memory

pub unsafe extern "C" fn Z3_reset_memory()

Reset all allocated resources.

Use this facility on out-of memory errors. It allows discharging the previous state and resuming afresh. Any pointers previously returned by the API become invalid.