verification/rvgen: Convert __fill_verify_guards_func() to Lark

Browse source

Prepare to remove self.guards and self.__parse_constraints(), convert
__fill_verify_guards_func() to use the parsed transitions from Lark.

Reviewed-by: Gabriele Monaco <gmonaco@redhat.com>
Signed-off-by: Nam Cao <namcao@linutronix.de>
Link: https://lore.kernel.org/r/4f18c30b60d7c7138c0016cd6985d14a898b1eec.1781847583.git.namcao@linutronix.de
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>

...

This commit is contained in:

Nam Cao 2026-06-19 07:52:09 +02:00 • committed by Gabriele Monaco

parent beb3a26e23

commit e0235729b0

1 changed files with 30 additions and 8 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

38

tools/verification/rvgen/rvgen/dot2k.py

View file