From de3a3ed3c84cbbbfd612176378b751db49217266 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Sun, 20 Sep 2026 18:19:45 +0700 Subject: [PATCH] The writeup said eleven checker rows; there are fourteen Two accepting and twelve refusing. Also records that the three acceptance rows were confirmed to run rather than inferred from a green exit: the expectation was broken on purpose once and all three reported. --- FIX.org | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/FIX.org b/FIX.org index f2da3b4..4143efd 100644 --- a/FIX.org +++ b/FIX.org @@ -1712,6 +1712,9 @@ four lengths — 8, 9, 6 and 7. ~dune test --root .~ green (exit 0, no FAIL lines). Three acceptance rows over ~test/programs/fill.flan~ — default, ~-O0~ and ~--x86~ — and the three outputs diffed against each other by hand before the rows were written: -byte-identical. Eleven checker rows in ~test_flan.ml~ for the boundary and -the two arity/position refusals. Per the sweep policy the ~@x86~ and +byte-identical — and the same three rows confirmed to actually run, by +breaking one expectation on purpose and watching all three report. Fourteen +checker rows in ~test_flan.ml~: two accepting, and twelve refusals covering +the boundary, both arities, both no-expected-type positions, the byte's +range and the ~defconst~ rule. Per the sweep policy the ~@x86~ and ~@sanitize~ sweeps were not run here.