OrgACRN
/
acrn-kernel
mirror of https://github.com/projectacrn/acrn-kernel.git
1
0
Fork 0
Code Issues Releases Wiki Activity

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>
This commit is contained in:
Daniel Bristot de Oliveira 2022-08-23 17:20:28 +02:00 committed by Steven Rostedt (Google)
parent 9abf2313ad
commit 21a1994b64
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/verification/dot2/dot2c.py
View File

@ -111,7 +111,7 @@ class Dot2c(Automata):
def format_aut_init_header(self): def format_aut_init_header(self):
buff = [] buff = []
buff.append("struct %s %s = {" % (self.struct_automaton_def, self.var_automaton_def)) buff.append("static struct %s %s = {" % (self.struct_automaton_def, self.var_automaton_def))
return buff return buff
def __get_string_vector_per_line_content(self, buff): def __get_string_vector_per_line_content(self, buff):