linux/tools/verification/dot2
Gabriele Monaco 571f8b3f86 verification/dot2: Improve dot parser robustness
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>
2024-11-19 08:57:13 -05: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-11-19 08:57:13 -05:00
dot2c Documentation/rv: Add deterministic automaton documentation 2022-07-30 14:01:29 -04:00
dot2c.py rv/monitors: Move monitor structure in rodata 2022-12-20 11:46:40 -05:00
dot2k verification/dot2k: Delete duplicate imports 2023-10-30 16:59:12 +01: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