Mutation-Testing on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/tags/mutation-testing/Recent content in Mutation-Testing on 兜忆轩 | Cedric's Compiler Notes兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usThu, 15 Oct 2026 12:39:00 +0800030 · 只有 0.48% 通过，是模型失败还是评测失效？https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-15/Thu, 15 Oct 2026 12:39:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-15/SecTB-RTL 的 1,860 次调用只有 9 次通过执行端语义校验，但生成约定遗漏了执行端的复位规则。作者因此保留失败记录，却不报告提示词效果：完整分母也救不了失配的测量工具。