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

[Nam Cao]

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.

Nam