Searched refs:BTOR_PROP_PATH_SEL_CONTROLLING (Results 1 – 3 of 3) sorted by relevance
108 #define BTOR_PROP_PATH_SEL_MIN BTOR_PROP_PATH_SEL_CONTROLLING
950 BTOR_PROP_PATH_SEL_CONTROLLING = 1, enumerator
953 BTOR_PROP_PATH_SEL_CONTROLLING, in btor_opt_init_opts()