Re: [PATCH v3 03/13] verification/rvgen: Implement state and transition parser based on Lark
From: Gabriele Monaco <gmonaco@redhat.com>
Date: 2026-06-09 12:55:00
Also in:
lkml
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