funman300/OpenFUT
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

test: update mutation-battery anchors after rustfmt reflow

Browse Source 
Formatting reflowed two mutation target lines onto multiple lines; update
the battery anchors (adapter #14 kit lookup, host #19 Content-Length push)
to the new unique substrings. Both batteries kill all mutants again
(adapter 14/14, host 20/20).
This commit is contained in:
funman300
2026-08-12 04:01:37 +00:00
parent c2e2e0d8f2
commit 7dbd878398
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
openfut-utas-host/mutation-battery.sh
+2 -2
View File
@@ -125,8 +125,8 @@ kill_test 18 "duplicate definition collapses owned instances (adapter shaper)" \
kill_test 19 "Content-Length left stale after overlay" \
coupled_read_after_write_list_and_usermassinfo_agree "$H" \
'resp.headers.push(("Content-Length".to_string(), body.len().to_string()));' \
'resp.headers.push(("Content-Length".to_string(), "0".to_string()));'
'("Content-Length".to_string(), body.len().to_string())' \
'("Content-Length".to_string(), "0".to_string())'
kill_test 20 "Python squad silently used after Rust projection failure" \
usermassinfo_never_serves_python_squad_on_integrity_failure "$H" \