One more dev-daemon row that raced, seen once in five

This commit is contained in:
Joseph Ferano 2026-09-20 19:38:37 +07:00
parent 8ea1ff4481
commit 114ea391aa

View File

@ -2633,6 +2633,14 @@ what was true when they were written.
and written up above under "Found while running it". Another lane has since
fixed it (~trap_park stops dying on the abort race~), so the green run is a
real green run rather than a lucky one.
One *other* ~test_dev.ml~ row failed once across five runs of identical
code — "the merged program never bound ...agent.sock", a daemon that did not
come up in time — and was green on the four runs either side of it, on the
lane and in the merged tree. Recorded rather than chased: it is a socket
bind in the agent fixture, and this lane touches neither the agent nor the
dyn side. It looks like the same family as the ~trap_park~ race that was
just fixed, one row further along.
- test/programs/widening.flan, new, with three acceptance rows — default, -O0
and ~--x86~ — and its output diffed by hand across the two backends before
the rows were written. Byte-identical.