From 24769b5ac0ce3aad989bdd92a4d73530b4aaa9da Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Tue, 16 Dec 2025 23:34:55 +0000 Subject: [PATCH] Remove UNREACHABLE() macros from nra_solver.cpp constraint validation Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --- src/math/lp/nra_solver.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/math/lp/nra_solver.cpp b/src/math/lp/nra_solver.cpp index f083c0f82..e131cc2be 100644 --- a/src/math/lp/nra_solver.cpp +++ b/src/math/lp/nra_solver.cpp @@ -231,14 +231,12 @@ struct solver::imp { if (!check_constraint(ci)) { IF_VERBOSE(0, verbose_stream() << "constraint " << ci << " violated\n"; lra.constraints().display(verbose_stream())); - UNREACHABLE(); return l_undef; } for (auto const &m : m_nla_core.emons()) { if (!check_monic(m)) { IF_VERBOSE(0, verbose_stream() << "monic " << m << " violated\n"; lra.constraints().display(verbose_stream())); - UNREACHABLE(); return l_undef; } }