Searched refs:good_assumption_index (Results 1 – 1 of 1) sorted by relevance
3646 static bool good_assumption_index(smt_core_t *s) { in good_assumption_index() function3673 assert(good_assumption_index(s)); in get_next_assumption()