Re: [PATCH 02/13] verification/rvgen: Introduce a parse tree for automata using Lark

[Wander Lairson Costa]

On Mon, May 18, 2026 at 4:18 AM Nam Cao <namcao@xxxxxxxxxxxxx> wrote:
>
> Wander Lairson Costa <wander@xxxxxxxxxx> writes:
> > On Tue, May 05, 2026 at 08:59:23AM +0200, Nam Cao wrote:
> >> +    ID: /[_a-zA-Z][_a-zA-Z0-9]+/
> >
> > This regex rejects symbol character symbol. Is that intentional?
>
> It wasn't intentional. This is blindly copied from the existing regex.
>
> Let me switch to Lark's CNAME.
>

Note: there is a type. s/symbol/single/.

> Nam
>