WSL2-Linux-Kernel/tools/verification/dot2
Daniel Bristot de Oliveira 21a1994b64 rv/dot2c: Make automaton definition static
Monitor's automata definition is only used locally, so make dot2c generate
a static definition.

Link: https://lore.kernel.org/all/202208210332.gtHXje45-lkp@intel.com
Link: https://lore.kernel.org/all/202208210358.6HH3OrVs-lkp@intel.com
Link: https://lkml.kernel.org/r/ffbb92010f643307766c9307fd42f416e5b85fa0.1661266564.git.bristot@kernel.org

Cc: Steven Rostedt <rostedt@goodmis.org>
Fixes: e3c9fc78f0 ("tools/rv: Add dot2c")
Reported-by: kernel test robot <lkp@intel.com>
Signed-off-by: Daniel Bristot de Oliveira <bristot@kernel.org>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
2022-10-20 16:02:45 -04:00
..
dot2k_templates rv/monitor: Add __init/__exit annotations to module init/exit funcs 2022-09-26 18:10:51 -04:00
Makefile tools/rv: Add dot2k 2022-07-30 14:01:29 -04:00
automata.py Documentation/rv: Add deterministic automaton documentation 2022-07-30 14:01:29 -04: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