linux

Gabriele Monaco c6bdc33263 verification/dot2: Improve dot parser robustness [ Upstream commit `571f8b3f86` ] This patch makes the dot parser used by dot2c and dot2k slightly more robust, namely: * allows parsing files with the gv extension (GraphViz) * correctly parses edges with any indentation * used to work only with a single character (e.g. '\t') Additionally it fixes a couple of warnings reported by pylint such as wrong indentation and comparison to False instead of `not ...` Link: https://lore.kernel.org/20241017064238.41394-2-gmonaco@redhat.com Signed-off-by: Gabriele Monaco <gmonaco@redhat.com> Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org> Signed-off-by: Sasha Levin <sashal@kernel.org>		History 2024-12-14 19:54:47 +01:00
..
dot2k_templates	rv/monitor: Add __init/__exit annotations to module init/exit funcs	2022-09-26 18:10:51 -04:00
automata.py	verification/dot2: Improve dot parser robustness	2024-12-14 19:54:47 +01:00
dot2c	Documentation/rv: Add deterministic automaton documentation	2022-07-30 14:01:29 -04:00
dot2c.py	rv/dot2c: Make automaton definition static	2022-10-20 16:02:45 -04:00
dot2k	Documentation/rv: Add deterministic automata monitor synthesis documentation	2022-07-30 14:01:29 -04:00
dot2k.py	Documentation/rv: Add deterministic automata monitor synthesis documentation	2022-07-30 14:01:29 -04:00
Makefile	tools/rv: Add dot2k	2022-07-30 14:01:29 -04:00