linux/tools/verification/rvgen
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