det_mutation: an evidence refresh raced a full run; #7476's verdicts have no attack on record

未关闭
#7,488 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

维护者通常 1 天内回复

还没有人认领这个 Issue。

评估

难度
4/5
预计耗时
3-5 天
新手友好度
18/100
Issue 类型
缺陷
描述清晰度
基本清楚
活跃度
活跃
技术栈
python
领域
testing-qa

调研方向

The stale evidence comes from a refresh cut from an older commit than #7460, and the affected ledgers are the survivors files for cbsa-abndproc and cbsa-updcust. The batch verdicts for carddemo-sort-combtran and carddemo-sort-tranrept need survivor_attack.py try or strengthen.py to handle batch cases, which the payload says is not yet supported. Done means full re-runs of both ledgers and attack records for those 77 verdicts, but this needs project familiarity with the mutation pipeline.

由索引模型根据 Issue 内容生成。

描述

bug priority: high
  1. Evidence refresh #7428 was cut from a commit older than #7460, so it wrote samples over full runs: cbsa-abndproc went from 455 of 455 mutants to 149, and cbsa-updcust from 718 of 718 to 148. The survivors files still list all 307 and 385, and both programs stay L5 on fewer mutants judged. #7482 now fails a run narrower than the one it replaces, so this cannot recur unseen. The two ledgers still need a full re-run.
  2. #7476 merged 77 new equivalent / unreachable verdicts on carddemo-sort-combtran and carddemo-sort-tranrept with no attack on record. Both are batch cases, which survivor_attack.py try does not handle yet, so they need that support or strengthen.py before those verdicts mean anything.
主要语言
Python
星标
57
派生
11
平均合并
1 小时 42 分钟
30 天内合并 PR
966

环境准备

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

squid-protocol/gitgalaxy 的其他 Issue

查看 squid-protocol/gitgalaxy 的全部 Issue

相似的 Issue

更多 Python Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。