From cfeaf40ed6a9d4d7fec925352e30d2470a1ca567 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Tue, 31 Mar 2020 18:12:16 -0700 Subject: Rename checkValid/query to checkEntailed. (#4191) This renames api::Solver::checkValidAssuming to checkEntailed and removes api::Solver::checkValid. Internally, SmtEngine::query is renamed to SmtEngine::checkEntailed, and these changes are further propagated to the Result class. --- src/smt/command.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/smt/command.cpp') diff --git a/src/smt/command.cpp b/src/smt/command.cpp index 79cc465ac..20f2dcff9 100644 --- a/src/smt/command.cpp +++ b/src/smt/command.cpp @@ -513,7 +513,7 @@ void QueryCommand::invoke(SmtEngine* smtEngine) { try { - d_result = smtEngine->query(d_expr); + d_result = smtEngine->checkEntailed(d_expr); d_commandStatus = CommandSuccess::instance(); } catch (exception& e) -- cgit v1.2.3