Home
last modified time | relevance | path

Searched refs:var_automaton_def (Results 1 – 2 of 2) sorted by relevance

/Linux-v6.1/tools/verification/dot2/
Ddot2c.py23 var_automaton_def = "aut" variable in Dot2c
114 buff.append("static struct %s %s = {" % (self.struct_automaton_def, self.var_automaton_def))
Ddot2k.py133 self.var_automaton_def = "automaton_%s" % self.name