WSL2-Linux-Kernel/tools/verification/dot2
Alessandro Carminati bfa87ac86c rv/monitors: Move monitor structure in rodata
It makes sense to move the important monitor structure into rodata to
prevent accidental structure modification.

Link: https://lkml.kernel.org/r/20221122173648.4732-1-acarmina@redhat.com

Signed-off-by: Alessandro Carminati <acarmina@redhat.com>
Acked-by: Daniel Bristot de Oliveira <bristot@kernel.org>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
2022-12-20 11:46:40 -05: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/monitors: Move monitor structure in rodata 2022-12-20 11:46:40 -05: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