Home
last modified time | relevance | path

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

/tools/verification/rvgen/rvgen/
A Dautomata.py20 invalid_state_str = "INVALID_STATE" variable in Automata
160 matrix = [[ self.invalid_state_str for x in range(nr_event)] for y in range(nr_state)]
185 if self.function[j][i] != self.invalid_state_str:
189 if self.function[0][i] != self.invalid_state_str:
A Ddot2c.py153 return max(max_state_name, self.invalid_state_str.__len__())
168 if next_state != self.invalid_state_str:
234 buff.append("#define %s state_max%s\n" % (self.invalid_state_str, self.enum_suffix))

Completed in 3 milliseconds