2
0
mirror of https://github.com/edk2-porting/linux-next.git synced 2024-12-29 15:43:59 +08:00
linux-next/tools/verification/dot2
Zeng Heng 4359a011e2 rv/dot2K: add 'static' qualifier for local variable
Following Daniel's suggestion, fix similar warning
in template files, which would prevent new monitors
from such warning.

Link: https://lkml.kernel.org/r/20220824034357.2014202-3-zengheng4@huawei.com

Cc: <mingo@redhat.com>
Fixes:	24bce201d7 ("tools/rv: Add dot2k")
Suggested-by: Daniel Bristot de Oliveira <bristot@kernel.org>
Signed-off-by: Zeng Heng <zengheng4@huawei.com>
Acked-by: Daniel Bristot de Oliveira <bristot@kernel.org>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
2022-09-26 13:01:09 -04:00
..
dot2k_templates rv/dot2K: add 'static' qualifier for local variable 2022-09-26 13:01:09 -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 Documentation/rv: Add deterministic automaton documentation 2022-07-30 14:01:29 -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