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

Aperta
#7,488 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
18/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Attiva
Stack tecnologico
python
Ambito
testing-qa

Direzione di ricerca

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.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

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.
Lingua principale
Python
Stelle
57
Fork
11
Merge medio
1h 35m
PR unite (30g)
975

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di squid-protocol/gitgalaxy

Tutte le issue di squid-protocol/gitgalaxy

Issue simili

Altre issue su Python

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.