JosephFerano/flan
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

The writeup said eleven checker rows; there are fourteen

Browse Source 
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.
This commit is contained in:
Joseph Ferano 2026-09-20 18:19:45 +07:00
parent 99f519ba6f
commit de3a3ed3c8
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
FIX.org
View File

@ -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.