Added "sat -show-ports"

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index b73417e87c24761d7f40a78b1f4b493db54761d0..468b49fd7962e3217eaddfbfc70e6326b79a0c40 100644 (file)
--- 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;