Searched refs:is_start_run_event (Results 1 – 2 of 2) sorted by relevance
| /linux-6.15/tools/verification/dot2/ | ||
| H A D | automata.py | 202 def is_start_run_event(self, event): member in Automata |
| H A D | dot2k.py | 140 elif self.is_start_run_event(event): |