diff --git a/tools/cargo-mutants.sh b/tools/cargo-mutants.sh index de4f499..3ecbed2 100644 --- a/tools/cargo-mutants.sh +++ b/tools/cargo-mutants.sh @@ -52,7 +52,7 @@ # logs stay on the host and go with the job. # FILTER tests= mutants= 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 +# survivors=S confirmed_caught=X | containers=K | plan=..s stage1=..s/ stage2=..s/ | m # MISSED / TIMEOUT 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