Searched refs:generation_time (Results 1 – 1 of 1) sorted by relevance
3102 static ticker_t generation_time; variable9130 generation_time = create_ticker (); in expand_automata()9145 ticker_off (&generation_time); in expand_automata()9221 print_active_time (stderr, generation_time); in write_automata()