Searched refs:time_flag (Results 1 – 1 of 1) sorted by relevance
268 static int time_flag; variable1513 time_flag = 1; in gen_automata_option()8939 time_flag = 0; in initiate_automaton_gen()8947 time_flag = 1; in initiate_automaton_gen()9215 if (time_flag) in write_automata()