From d571b7d2bebb48aba81ee7b89a8485fdbe9f9551 Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Tue, 26 Sep 2023 15:15:10 -0300 Subject: [PATCH] fix --- test/unit/api/cpp/solver_black.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/unit/api/cpp/solver_black.cpp b/test/unit/api/cpp/solver_black.cpp index 25291f4ddb2..d0f3577d63d 100644 --- a/test/unit/api/cpp/solver_black.cpp +++ b/test/unit/api/cpp/solver_black.cpp @@ -2025,7 +2025,7 @@ TEST_F(TestApiBlackSolver, getUnsatCoreLemmas2) d_solver.assertFormula(p_f_y.notTerm()); ASSERT_TRUE(d_solver.checkSat().isUnsat()); - ASSERT_NO_THROW(uc = d_solver.getUnsatCoreLemmas()); + ASSERT_NO_THROW(d_solver.getUnsatCoreLemmas()); } TEST_F(TestApiBlackSolver, getDifficulty)