GameCult/Eureka
Watch
9
0
Fork
You've already forked Eureka
 0
Code Issues Pull requests 3 Projects Releases Packages Wiki Activity Actions

cargo-mutants.sh: the MUTANTS line reports containers per stage

Browse source 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Eureka 2026-11-01 19:43:21 +01:00
commit a2bfb59ab3
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tools/cargo-mutants.sh
View file

@ -52,7 +52,7 @@
# logs stay on the host and go with the job.
# FILTER <file> <filter> tests=<n> mutants=<m> one per stage-1 file (zero-test first)
# MUTANTS tested=N caught=C missed=M timeout=T unviable=U | stage1 filtered=F
# survivors=S confirmed_caught=X | containers=K | plan=..s stage1=..s stage2=..s | <m>m
# survivors=S confirmed_caught=X | containers=K | plan=..s stage1=..s/<k1> stage2=..s/<k2> | <m>m
# MISSED <name> / TIMEOUT <name> final outcomes, at most 50
# ERROR ... a red baseline, a container that failed, mutants with no outcome:
# the job exits non-zero and prints no MUTANTS line
@ -324,7 +324,7 @@ if [ "$1" = --host ]; then
S=$(wc -l <"$D/m/s1.surv" | tr -d ' '); F=$(wc -l <"$D/m/s1.names" | tr -d ' ')
X=$(comm -12 "$D/m/s1.surv" "$D/m/s2.caught" | wc -l | tr -d ' ')
K=$K1; [ "$K2" -le "$K" ] || K=$K2
sum "MUTANTS tested=$((C + M + T + U)) caught=$C missed=$M timeout=$T unviable=$U | stage1 filtered=$F survivors=$S confirmed_caught=$X | containers=$K | plan=${tp}s stage1=${ts1}s stage2=${ts2}s | $(awk -v e="$(( $(now) - t0 ))" 'BEGIN { printf "%.1f", e / 60 }')m"
sum "MUTANTS tested=$((C + M + T + U)) caught=$C missed=$M timeout=$T unviable=$U | stage1 filtered=$F survivors=$S confirmed_caught=$X | containers=$K | plan=${tp}s stage1=${ts1}s/${K1} stage2=${ts2}s/${K2} | $(awk -v e="$(( $(now) - t0 ))" 'BEGIN { printf "%.1f", e / 60 }')m"
{ sed 's/^/MISSED /' "$D/m/s2.missed"; sed 's/^/TIMEOUT /' "$D/m/s2.timeout"; } >"$D/m/surv.txt"
total=$(wc -l <"$D/m/surv.txt" | tr -d ' ')
head -n 50 "$D/m/surv.txt" | while IFS= read -r l; do sum "$l"; done