Support alternative expected outputs in output tests; add variants for the par test (alternative to #22286) - #22297

Draft

JasonGross wants to merge 2 commits into

rocq-prover:masterfrom

JasonGross:output-tests-alternate-expectations

Commits on Jul 21, 2026

test-suite: support alternative expected outputs; add par: noise variants

JasonGross
and
claude
committed
test-suite: approve-output add-vs-replace modes for alternative outputs

JasonGross
and
claude
committed