Method reset

src/analysis/z3_solver.rs:290–295

Clean the state of the solver

(&self)

    /// Clean the state of the solver
    pub fn reset(&self) {
        unsafe {
            let _guard = Z3_MUTEX.lock().unwrap();
            z3_sys::Z3_solver_reset(self.z3_context, self.z3_solver);
        }
    }

    // The following are private