]> git.ipfire.org Git - thirdparty/kernel/linux.git/commit
projects / thirdparty / kernel / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d98f7f) | patch
rv/rvgen: fix _fill_states() return type annotation
authorWander Lairson Costa <wander@redhat.com>
Mon, 23 Feb 2026 16:18:02 +0000 (13:18 -0300)
committerGabriele Monaco <gmonaco@redhat.com>
Wed, 1 Apr 2026 08:16:20 +0000 (10:16 +0200)
commitbf86059874ab651eaba9e6e0dd9aa0bc072d2648
tree491f21622f3b5ee9566cb1f1bc7cb256473e3302tree | snapshot
parent5d98f7f5b96c4abc9325c0d851b7d287d24aee93commit | diff
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>
tools/verification/rvgen/rvgen/ltl2k.py diff | blob | blame | history
A mirror of Linus' kernel repository