diff --git a/FIX.org b/FIX.org index 4317899..e9a6da5 100644 --- a/FIX.org +++ b/FIX.org @@ -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.