From c802c80d658293b0a203377ebaef8c82f5f8aae9 Mon Sep 17 00:00:00 2001 From: Clexma Date: Thu, 9 May 2024 18:49:45 +0800 Subject: [PATCH] update --- src/esbmc/bmc.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/esbmc/bmc.cpp b/src/esbmc/bmc.cpp index 282b77b5..a69482af 100644 --- a/src/esbmc/bmc.cpp +++ b/src/esbmc/bmc.cpp @@ -141,6 +141,7 @@ void bmct::generate_smt_from_equation( smt_convt &smt_conv, symex_target_equationt &eq) { + log_status("generate smt from equation"); std::string logic; if (!options.get_bool_option("int-encoding")) @@ -164,6 +165,7 @@ void bmct::generate_smt_from_equation( smt_convt::resultt bmct::run_decision_procedure(smt_convt &smt_conv, symex_target_equationt &eq) { + log_status("run decision procedure"); generate_smt_from_equation(smt_conv, eq); if (