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

[Gabriele Monaco]

On Mon, 2026-06-08 at 10:56 +0200, Nam Cao wrote:
> +class ConstraintRule:
> +    grammar = r'''
> +        CMP_OP: "==" | "<=" | "<" | ">=" | ">"

Just realised (well, a local version of sashiko did) that we're missing !=

That's technically supported and present in the docs.

Thanks,
Gabriele