summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-01-27 23:04:28 +0000
committerClifford Wolf <clifford@clifford.at>2015-01-27 23:04:28 +0000
commit23e54bda8138521a7a7f4fde40a6f360e8c9c19c (patch)
tree3a9bc52ea04ebc7ca8a8b83872fdaa78fe3caf30
parente666611534174621e8089c732186e4aa07f0ce68 (diff)
Added "sat -show-ports"
-rw-r--r--passes/sat/sat.cc9
1 files changed, 7 insertions, 2 deletions
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index b73417e8..468b49fd 100644
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -850,8 +850,8 @@ struct SatPass : public Pass {
log(" show the model for the specified signal. if no -show option is\n");
log(" passed then a set of signals to be shown is automatically selected.\n");
log("\n");
- log(" -show-inputs, -show-outputs\n");
- log(" add all module input (output) ports to the list of shown signals\n");
+ log(" -show-inputs, -show-outputs, -show-ports\n");
+ log(" add all module (input/output) ports to the list of shown signals\n");
log("\n");
log(" -ignore_div_by_zero\n");
log(" ignore all solutions that involve a division by zero\n");
@@ -1130,6 +1130,11 @@ struct SatPass : public Pass {
show_outputs = true;
continue;
}
+ if (args[argidx] == "-show-ports") {
+ show_inputs = true;
+ show_outputs = true;
+ continue;
+ }
if (args[argidx] == "-ignore_unknown_cells") {
ignore_unknown_cells = true;
continue;