Re: [PATCH 03/13] verification/rvgen: Implement state and transition parser based on Lark

[Nam Cao]

Wander Lairson Costa <wander@xxxxxxxxxx> writes:
> On Tue, May 05, 2026 at 08:59:24AM +0200, Nam Cao wrote:
>> +        self.rules = [[c, None]]
>
> Here self.rules is a list of lists...
>
>> +
>> +    def chain(self, op: str, c: ConstraintCondition):
>> +        self.rules[-1][1] = op
>> +        self.rules.append((c, None))
>
> ... but here it is a list of tuples.

Thanks. I will switch it entirely to list of tuples.

Nam