Wander Lairson Costa bf86059874 rv/rvgen: fix _fill_states() return type annotation ... The _fill_states() method returns a list of strings, but the type annotation incorrectly specified str. Update the annotation to list[str] to match the actual return value. Signed-off-by: Wander Lairson Costa <wander@redhat.com> Reviewed-by: Gabriele Monaco <gmonaco@redhat.com> Link: https://lore.kernel.org/r/20260223162407.147003-20-wander@redhat.com Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>		2026-04-01 10:16:20 +02:00
..
rvgen	rv/rvgen: fix _fill_states() return type annotation	2026-04-01 10:16:20 +02:00
__main__.py	rv/rvgen: make monitor arguments required in rvgen	2026-04-01 10:16:19 +02:00
.gitignore	verification/rvgen: Add support for linear temporal logic	2025-07-24 10:42:47 -04:00
dot2c	rv/rvgen: remove unused sys import from dot2c	2026-04-01 10:16:19 +02:00
Makefile	verification/rvgen: Add support for linear temporal logic	2025-07-24 10:42:47 -04:00