From 2b3df2bd27eaccb160ea264f9b48fb7f5e806da9 Mon Sep 17 00:00:00 2001 From: lahiri-phdworks Date: Tue, 9 Jan 2024 05:14:27 +0530 Subject: [PATCH] [WIP] Variables Dump --- src/c2goto/c2goto.cpp | 6 ------ src/esbmc/options.cpp | 6 ------ src/solvers/z3/z3_conv.cpp | 5 ++--- 3 files changed, 2 insertions(+), 15 deletions(-) diff --git a/src/c2goto/c2goto.cpp b/src/c2goto/c2goto.cpp index 3f16ce65cbf..0b0ec74ef96 100644 --- a/src/c2goto/c2goto.cpp +++ b/src/c2goto/c2goto.cpp @@ -35,12 +35,6 @@ const struct group_opt_templ c2goto_options[] = { {"targetfile", boost::program_options::value()->value_name(""), "output interesting variables to a file"}, - {"countersfile", - boost::program_options::value()->value_name(""), - "output interesting variables to a file"}, - {"totalprob", - boost::program_options::value()->value_name(""), - "output interesting variables to a file"}, {"output", boost::program_options::value()->value_name(""), diff --git a/src/esbmc/options.cpp b/src/esbmc/options.cpp index cfdc77adb40..7e5bbdae521 100644 --- a/src/esbmc/options.cpp +++ b/src/esbmc/options.cpp @@ -28,12 +28,6 @@ const struct group_opt_templ all_cmd_options[] = { {"targetfile", boost::program_options::value()->value_name(""), "output interesting variables to a file"}, - {"countersfile", - boost::program_options::value()->value_name(""), - "output interesting variables to a file"}, - {"totalprob", - boost::program_options::value()->value_name(""), - "output interesting variables to a file"}, {"smt-formula-only", NULL, diff --git a/src/solvers/z3/z3_conv.cpp b/src/solvers/z3/z3_conv.cpp index d20d69870d7..28c72a04499 100644 --- a/src/solvers/z3/z3_conv.cpp +++ b/src/solvers/z3/z3_conv.cpp @@ -930,7 +930,7 @@ smt_astt z3_convt::mk_smt_symbol(const std::string &name, const smt_sort *s) (name.find("sum_global") != std::string::npos) || (name.find("cut_count") != std::string::npos) || (name.find("_path_exp") != std::string::npos) || - (name.find("input_") != std::string::npos)) + (name.find("param_") != std::string::npos)) { const std::string &filename = options.get_option("targetfile"); if (!filename.empty()) @@ -938,8 +938,7 @@ smt_astt z3_convt::mk_smt_symbol(const std::string &name, const smt_sort *s) // print to output file std::ofstream out; out.open(filename.c_str(), std::fstream::app); - out << "(get-value (|" << name << "|))" - << "\n"; + out << name << "\n"; out.close(); } }