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;