From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 27 Jan 2015 23:04:28 +0000 (+0000)
Subject: Added "sat -show-ports"
X-Git-Tag: yosys-0.5~59
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=23e54bda8138521a7a7f4fde40a6f360e8c9c19c;p=yosys.git

Added "sat -show-ports"
---

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index b73417e87..468b49fd7 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;