Home
last modified time | relevance | path

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

/openbmc/linux/tools/verification/dot2/
H A Ddot2c.py153 return max(max_state_name, self.invalid_state_str.__len__())
170 if next_state != self.invalid_state_str:
232 buff.append("#define %s state_max%s\n" % (self.invalid_state_str, self.enum_suffix))
H A Dautomata.py20 invalid_state_str = "INVALID_STATE" variable in Automata
159 matrix = [[ self.invalid_state_str for x in range(nr_event)] for y in range(nr_state)]