aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-09-29 09:21:51 -0700
committerEddie Hung <eddie@fpgeh.com>2019-09-29 09:21:51 -0700
commitf3e150d9a5a71a554a99c619ae5389f687c381ef (patch)
tree6f5145bfc48768fd858032b8a9a4295804d26a8f /backends/aiger
parent79b6edb6397c530a7304eb4334f95324a4208aba (diff)
parentce0631c371f69f0132ea9ee4bc8f5ee576dbb1a3 (diff)
downloadyosys-f3e150d9a5a71a554a99c619ae5389f687c381ef.tar.gz
yosys-f3e150d9a5a71a554a99c619ae5389f687c381ef.tar.bz2
yosys-f3e150d9a5a71a554a99c619ae5389f687c381ef.zip
Merge remote-tracking branch 'origin/master' into xaig_dff
Diffstat (limited to 'backends/aiger')
-rw-r--r--backends/aiger/aiger.cc2
-rw-r--r--backends/aiger/xaiger.cc2
2 files changed, 2 insertions, 2 deletions
diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc
index 0798fb35d..3e8b14dee 100644
--- a/backends/aiger/aiger.cc
+++ b/backends/aiger/aiger.cc
@@ -777,7 +777,7 @@ struct AigerBackend : public Backend {
}
break;
}
- extra_args(f, filename, args, argidx);
+ extra_args(f, filename, args, argidx, !ascii_mode);
Module *top_module = design->top_module();
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 5d41d49b9..aa18d3e1b 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -1143,7 +1143,7 @@ struct XAigerBackend : public Backend {
}
break;
}
- extra_args(f, filename, args, argidx);
+ extra_args(f, filename, args, argidx, !ascii_mode);
Module *top_module = design->top_module();