Function isla_lib::smt::finalize_solver

pub unsafe fn finalize_solver()

This function just calls Z3_finalize_memory(). It’s useful because by calling it before we exit, we can check whether we are leaking memory while interacting with Z3 objects.

Safety

Shoud only be called just before exiting.