Method set_backtrack_position

src/analysis/z3_solver.rs:399–404

(&self)

    }

    fn set_backtrack_position(&self) {
        unsafe {
            let _guard = Z3_MUTEX.lock().unwrap();
            z3_sys::Z3_solver_push(self.z3_context, self.z3_solver);
        }
    }

    fn backtrack(&self) {
        unsafe {