add NFA/DFA oracle tests#194

Open

hhugo wants to merge 4 commits into

ocaml-community:masterfrom

hhugo:oracle-testing

Commits on Apr 13, 2026

Add Cset.mem for code point membership testing

hhugo
and
claude
committed

Commits on Apr 15, 2026

Vendor ocamllex DFA compiler from OCaml 5.4.0

hhugo
and
claude
committed
Add ocamllex and DFA oracle for testing tagged DFA compilation

hhugo
and
claude
committed
Add oracle expect tests: hand-written cases + QCheck fuzzing

hhugo
and
claude
committed