Home
last modified time | relevance | path

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

/openbmc/linux/tools/verification/dot2/
H A Dautomata.py24 self.name = self.__get_model_name()
30 def __get_model_name(self): member in Automata