Searched refs:add_all_lemmas (Results 1 – 1 of 1) sorted by relevance
4442 static void add_all_lemmas(smt_core_t *s) { in add_all_lemmas() function5958 add_all_lemmas(s); in smt_core_process()