Searched refs:z3Interface (Results 1 – 2 of 2) sorted by relevance
48 Z3Interface* z3Interface() const { return m_z3Interface.get(); } in z3Interface() function
998 auto z3Interface = dynamic_cast<Z3CHCInterface const*>(m_interface.get()); in resetSourceAnalysis() local999 solAssert(z3Interface, ""); in resetSourceAnalysis()1000 m_context.setSolver(z3Interface->z3Interface()); in resetSourceAnalysis()