Searched refs:var_automaton_def (Results 1 – 2 of 2) sorted by relevance
| /linux/tools/verification/rvgen/rvgen/ | ||
| H A D | dot2c.py | 24 var_automaton_def = "aut" variable in Dot2c |
| H A D | dot2k.py | 95 self.var_automaton_def = f"automaton_{self.name}" |