Searched refs:BTOR_OPT_FUN_LAZY_SYNTHESIZE (Results 1 – 5 of 5) sorted by relevance
79 lazy_synthesize = btor_opt_get (btor, BTOR_OPT_FUN_LAZY_SYNTHESIZE); in dumpaig_dump_aux()80 btor_opt_set (btor, BTOR_OPT_FUN_LAZY_SYNTHESIZE, 1); in dumpaig_dump_aux()108 btor_opt_set (btor, BTOR_OPT_FUN_LAZY_SYNTHESIZE, lazy_synthesize); in dumpaig_dump_aux()
392 BTOR_OPT_FUN_LAZY_SYNTHESIZE, enumerator
629 BTOR_OPT_FUN_LAZY_SYNTHESIZE, in btor_opt_init_opts()
2504 opt_lazy_synth = btor_opt_get (btor, BTOR_OPT_FUN_LAZY_SYNTHESIZE) == 1; in btor_synthesize_exp()
80 pyboolector.BTOR_OPT_FUN_LAZY_SYNTHESIZE,