diff options
| author | N. Engelhardt <nak@symbioticeda.com> | 2020-06-04 16:24:16 +0200 |
|---|---|---|
| committer | N. Engelhardt <nak@symbioticeda.com> | 2020-06-04 16:24:16 +0200 |
| commit | 82798ae57512fe410494821ca2d177116b3a3c63 (patch) | |
| tree | dc302ba033b7fb6e648ed6808aab0ced7cc76a40 /backends | |
| parent | 5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc (diff) | |
| download | yosys-82798ae57512fe410494821ca2d177116b3a3c63.tar.gz yosys-82798ae57512fe410494821ca2d177116b3a3c63.tar.bz2 yosys-82798ae57512fe410494821ca2d177116b3a3c63.zip | |
btor backend: make not printing internal names default
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/btor/btor.cc | 10 |
1 files 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 <filename>\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<std::string> 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; |