diff options
| author | Wander Lairson Costa <wander@redhat.com> | 2026-02-23 13:18:02 -0300 |
|---|---|---|
| committer | Gabriele Monaco <gmonaco@redhat.com> | 2026-04-01 10:16:20 +0200 |
| commit | bf86059874ab651eaba9e6e0dd9aa0bc072d2648 (patch) | |
| tree | 491f21622f3b5ee9566cb1f1bc7cb256473e3302 | |
| parent | 5d98f7f5b96c4abc9325c0d851b7d287d24aee93 (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>
| -rw-r--r-- | tools/verification/rvgen/rvgen/ltl2k.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/verification/rvgen/rvgen/ltl2k.py b/tools/verification/rvgen/rvgen/ltl2k.py index b8ac584fe250..81fd1f5ea5ea 100644 --- a/tools/verification/rvgen/rvgen/ltl2k.py +++ b/tools/verification/rvgen/rvgen/ltl2k.py @@ -75,7 +75,7 @@ class ltl2k(generator.Monitor): if not self.name: self.name = Path(file_path).stem - def _fill_states(self) -> str: + def _fill_states(self) -> list[str]: buf = [ "enum ltl_buchi_state {", ] |