Searched refs:BTOR_OPT_ELIMINATE_SLICES (Results 1 – 5 of 5) sorted by relevance
269 BTOR_OPT_ELIMINATE_SLICES, enumerator
459 BTOR_OPT_ELIMINATE_SLICES, in btor_opt_init_opts()
613 if (btor_opt_get (btor, BTOR_OPT_ELIMINATE_SLICES)) in btor_print_stats()2962 btor_opt_set (btor, BTOR_OPT_ELIMINATE_SLICES, 0); in btor_check_sat()
105 if (btor_opt_get (btor, BTOR_OPT_ELIMINATE_SLICES) in btor_simplify()
67 pyboolector.BTOR_OPT_ELIMINATE_SLICES,