mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Merge pull request #2109 from nakengelhardt/btor_internal_names

Browse source 
btor backend: make not printing internal names default
This commit is contained in:
N. Engelhardt 2020-06-05 11:36:08 +02:00 • committed by GitHub
commit 9669e0c7d5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
backends/btor/btor.cc
View file

@ -1355,13 +1355,13 @@ struct BtorBackend : public Backend {
log(" -i <filename>\n"); log(" -i <filename>\n");
log(" Create additional info file with auxiliary information\n"); log(" Create additional info file with auxiliary information\n");
log("\n"); log("\n");
log(" -n\n"); log(" -x\n");
log(" Don't identify internal netnames\n"); log(" Output symbols for internal netnames (starting with '$')\n");
log("\n"); log("\n");
} }
void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE 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; string info_filename;
log_header(design, "Executing BTOR backend.\n"); log_header(design, "Executing BTOR backend.\n");
@ -1385,8 +1385,8 @@ struct BtorBackend : public Backend {
info_filename = args[++argidx]; info_filename = args[++argidx];
continue; continue;
} }
if (args[argidx] == "-n") { if (args[argidx] == "-x") {
print_internal_names = false; print_internal_names = true;
continue; continue;
} }
break; break;