Searched refs:history_size (Results 1 – 6 of 6) sorted by relevance
93 if (fi->history_size >= FSM_HISTORY_SIZE) in fsm_print_history()97 for (i = 0; i < fi->history_size; i++) { in fsm_print_history()109 fi->history_size = fi->history_index = 0; in fsm_print_history()118 if (fi->history_size < FSM_HISTORY_SIZE) in fsm_record_history()119 fi->history_size++; in fsm_record_history()
73 int history_size; member
166 history_size = 100
2542 uint32_t history_size; member
2932 uint32_t history_size; member
675 detect_deadlocks=false history_size=7 exitcode=0 \