]> git.ipfire.org Git - thirdparty/linux.git/commit
projects / thirdparty / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 531b50e) | patch
verification/rvgen: Annotate DA functions with types
authorGabriele Monaco <gmonaco@redhat.com>
Wed, 26 Nov 2025 10:42:36 +0000 (11:42 +0100)
committerGabriele Monaco <gmonaco@redhat.com>
Mon, 12 Jan 2026 06:43:50 +0000 (07:43 +0100)
commit3c5720b9ba3ee9b3ae238aeaf0340e4c9666330e
tree943974da8f097480d327b7b91c15f3b4f75e86b1tree
parent531b50e06aa7600f854a90b0f714f4e49ea2c1accommit | 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>
tools/verification/rvgen/rvgen/automata.py diff | blob | blame | history
tools/verification/rvgen/rvgen/dot2c.py diff | blob | blame | history
tools/verification/rvgen/rvgen/dot2k.py diff | blob | blame | history
A mirror of Linus' kernel repository