Searched refs:make_signal_state_machine (Results 1 – 8 of 8) sorted by relevance
134 out.safe_push (make_signal_state_machine (logger)); in make_checkers()
188 extern state_machine *make_signal_state_machine (logger *logger);
351 make_signal_state_machine (logger *logger) in make_signal_state_machine() function
1584 checkers.safe_push (make_signal_state_machine (NULL)); in test_program_state_merging_2()
187 out.safe_push (make_signal_state_machine (logger)); in make_checkers()
302 extern state_machine *make_signal_state_machine (logger *logger);
377 make_signal_state_machine (logger *logger) in make_signal_state_machine() function
1741 checkers.safe_push (make_signal_state_machine (NULL)); in test_program_state_merging_2()