Searched refs:NO_MINIMIZATION_OPTION (Results 1 – 1 of 1) sorted by relevance
240 #define NO_MINIMIZATION_OPTION "-no-minimization" macro1510 if (strcmp (XSTR (def, 0), NO_MINIMIZATION_OPTION + 1) == 0) in gen_automata_option()8944 if (strcmp (argv [i], NO_MINIMIZATION_OPTION) == 0) in initiate_automaton_gen()