diff options
| author | N. Engelhardt <nak@symbioticeda.com> | 2020-06-05 11:36:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-05 11:36:08 +0200 |
| commit | 9669e0c7d50601263345d20fcbdb6a1b2001efc1 (patch) | |
| tree | 82d27383ffd140af29ed35da6609bb946cda0479 /backends | |
| parent | 7112f187cd5c8c34c7945132cb90d5a11fcfa554 (diff) | |
| parent | 82798ae57512fe410494821ca2d177116b3a3c63 (diff) | |
| download | yosys-9669e0c7d50601263345d20fcbdb6a1b2001efc1.tar.gz yosys-9669e0c7d50601263345d20fcbdb6a1b2001efc1.tar.bz2 yosys-9669e0c7d50601263345d20fcbdb6a1b2001efc1.zip | |
Merge pull request #2109 from nakengelhardt/btor_internal_names
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; |