diff options
| author | Gabriele Monaco <gmonaco@redhat.com> | 2025-11-26 11:42:36 +0100 |
|---|---|---|
| committer | Gabriele Monaco <gmonaco@redhat.com> | 2026-01-12 07:43:50 +0100 |
| commit | 3c5720b9ba3ee9b3ae238aeaf0340e4c9666330e (patch) | |
| tree | 943974da8f097480d327b7b91c15f3b4f75e86b1 /include | |
| parent | 531b50e06aa7600f854a90b0f714f4e49ea2c1ac (diff) | |
verification/rvgen: Annotate DA functions with types
Functions in automata.py, dot2c.py and dot2k.py don't have type
annotations and it can get complicated to remember how to use them.
Add minimal type annotations.
Reviewed-by: Nam Cao <namcao@linutronix.de>
Link: https://lore.kernel.org/r/20251126104241.291258-6-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions