Thijs Damsma 67fca9b0f8 Retain known mismatch outcomes and exercised value coverage ...

A known mismatch may remain known or become a real pass, never deferred or rejected. Retained cases keep numerical value coverage. Legacy indexed integer mismatch evidence proves presence without fabricating omitted comparison counts; ambiguous known integer coverage fails closed.

Co-authored-by: Codex <codex@openai.com>

2026-10-23 11:50:07 +02:00

..

difftest_baseline.py

Retain known mismatch outcomes and exercised value coverage

2026-10-23 11:50:07 +02:00

difftest-baseline.sh

Merge main into regression-gate work and refresh exact-base validation

2026-10-23 10:54:15 +02:00

fuzz-units.py

Merge main into regression-gate work and refresh exact-base validation

2026-10-23 10:54:15 +02:00

test_difftest_baseline.py

Retain known mismatch outcomes and exercised value coverage

2026-10-23 11:50:07 +02:00

test-difftest-baseline.sh

Merge main into regression-gate work and refresh exact-base validation

2026-10-23 10:54:15 +02:00