Searched refs:btoropt (Results 1 – 2 of 2) sorted by relevance
| /dports/math/boolector/boolector-3.2.2/src/ |
| H A D | btormbt.c | 826 btoropt->kind = opt; in btormbt_new_btormbt()
835 if (opt == BTOR_OPT_INCREMENTAL) btoropt->min = btoropt->max; in btormbt_new_btormbt()
2745 btoropt->val = in btormbt_state_opt()
2746 btor_rng_pick_rand (&mbt->round.rng, btoropt->min, btoropt->max); in btormbt_state_opt()
2751 boolector_set_opt (mbt->btor, btoropt->kind, btoropt->val); in btormbt_state_opt()
2798 btoropt->val = in btormbt_state_opt()
2799 btor_rng_pick_rand (&mbt->round.rng, btoropt->min, btoropt->max); in btormbt_state_opt()
2873 btoropt->val = in btormbt_state_opt()
2880 boolector_set_opt (mbt->btor, btoropt->kind, btoropt->val); in btormbt_state_opt()
2887 if (btoropt->kind == BTOR_OPT_INCREMENTAL && btoropt->val == 1) in btormbt_state_opt()
[all …]
|
| H A D | btoruntrace.c | 2025 BtorUNTBtorOpt *btoropt; in main() local
2063 BTOR_NEW (g_btorunt->mm, btoropt); in main()
2064 btoropt->kind = o; in main()
2065 btoropt->name = btor_mem_strdup (g_btorunt->mm, lng); in main()
2066 btoropt->val = val; in main()
2067 BTOR_PUSH_STACK (g_btorunt->cl_btor_opts, btoropt); in main()
|