Searched refs:sat_regex_found (Results 1 – 1 of 1) sorted by relevance
169 bool sat_regex_found = false; in recover_solution() local185 sat_regex_found = true; in recover_solution()219 log_assert(!unknown && sat? sat_regex_found : true); in recover_solution()