Searched refs:bvarith_elim_opt (Results 1 – 1 of 1) sorted by relevance
214 bvarith_elim_opt, // simplification of bitvector arithmetic expressions enumerator293 { "bvarith-elim", '\0', FLAG_OPTION, bvarith_elim_opt },513 bvarith_elim = opt_set[bvarith_elim_opt]; in check_parameters()974 case bvarith_elim_opt: in parse_command_line()