Searched refs:is_start_run_event (Results 1 – 2 of 2) sorted by relevance
| /linux/tools/verification/rvgen/rvgen/ | ||
| H A D | automata.py | 354 def is_start_run_event(self, event: str) -> bool: member in Automata |
| H A D | dot2k.py | 45 elif self.is_start_run_event(event): |