#10385·z3MBQI 模型检查器辅助函数 `context::check` 中的 SIGSEGV - 每次运行故障位置不同 (看起来像是状态损坏); 回归, 4.16.0 状态良好作者: headinthebox创建于 2026年8月4日更新于 2026年8月22日Summary 内容来源: Z3Prover/z3查看 GitHub 原文在 GitHub 查看讨论