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>		2024-12-14 19:54:47 +01:00
..
dot2k_templates
automata.py	verification/dot2: Improve dot parser robustness	2024-12-14 19:54:47 +01:00
dot2c
dot2c.py
dot2k
dot2k.py
Makefile