From 82798ae57512fe410494821ca2d177116b3a3c63 Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Thu, 4 Jun 2020 16:24:16 +0200 Subject: [PATCH] btor backend: make not printing internal names default --- backends/btor/btor.cc | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index bbdcfb70a..9ac312480 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -1355,13 +1355,13 @@ struct BtorBackend : public Backend { log(" -i \n"); log(" Create additional info file with auxiliary information\n"); log("\n"); - log(" -n\n"); - log(" Don't identify internal netnames\n"); + log(" -x\n"); + log(" Output symbols for internal netnames (starting with '$')\n"); log("\n"); } void execute(std::ostream *&f, std::string filename, std::vector args, RTLIL::Design *design) YS_OVERRIDE { - bool verbose = false, single_bad = false, cover_mode = false, print_internal_names = true; + bool verbose = false, single_bad = false, cover_mode = false, print_internal_names = false; string info_filename; log_header(design, "Executing BTOR backend.\n"); @@ -1385,8 +1385,8 @@ struct BtorBackend : public Backend { info_filename = args[++argidx]; continue; } - if (args[argidx] == "-n") { - print_internal_names = false; + if (args[argidx] == "-x") { + print_internal_names = true; continue; } break; -- 2.30.2