Method backtrack

src/analysis/z3_solver.rs:406–411

(&self)

    }

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

    fn get_symbol_for(&self, path: &Rc<Path>) -> z3_sys::Z3_symbol {
        let path_str = CString::new(format!("{:?}", path)).unwrap();