Chris Hardin

Results 1 issues of Chris Hardin

The `witness` function in core.ml can generate strings that don't match the expression, because it ignores the semantics of things like `eow`. Minimal example: let t = Re.seq [ Re.eow;...