Searched refs:new_e_eq_e (Results 1 – 2 of 2) sorted by relevance
3863 expr_ref new_e(m), new_e_eq_e(m); in dbg_decouple() local3865 new_e_eq_e = m.mk_eq(new_e, e); in dbg_decouple()3866 m_extra_assertions.push_back(new_e_eq_e); in dbg_decouple()
3847 expr_ref new_e(m), new_e_eq_e(m);3849 new_e_eq_e = m.mk_eq(new_e, e);3850 m_extra_assertions.push_back(new_e_eq_e);