Improved formatting of "sat" output tables

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 2e9c6d2f96f1efcedf008eaf4b97e8d90a610d11..a91f657bc66e95474bb6d709b4e454b78b6b2b41 100644 (file)
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -630,11 +630,11 @@ struct SatHelper
                                                    "---------------------------------------------------------------------------------------------------";
                                if (last_timestep == -2) {
                                        log(max_timestep > 0 ? "  Time " : "  ");
-                                       log("%-*s %10s %10s %*s\n", maxModelName+10, "Signal Name", "Dec", "Hex", maxModelWidth+5, "Bin");
+                                       log("%-*s %11s %9s %*s\n", maxModelName+5, "Signal Name", "Dec", "Hex", maxModelWidth+3, "Bin");
                                }
                                log(max_timestep > 0 ? "  ---- " : "  ");
-                               log("%*.*s %10.10s %10.10s %*.*s\n", maxModelName+10, maxModelName+10,
-                                               hline, hline, hline, maxModelWidth+5, maxModelWidth+5, hline);
+                               log("%*.*s %11.11s %9.9s %*.*s\n", maxModelName+5, maxModelName+5,
+                                               hline, hline, hline, maxModelWidth+3, maxModelWidth+3, hline);
                                last_timestep = info.timestep;
                        }
 
@@ -647,9 +647,9 @@ struct SatHelper
                                log("  ");
 
                        if (info.width <= 32 && !found_undef)
-                               log("%-*s %10d %10x %*s\n", maxModelName+10, info.description.c_str(), value.as_int(), value.as_int(), maxModelWidth+5, value.as_string().c_str());
+                               log("%-*s %11d %9x %*s\n", maxModelName+5, info.description.c_str(), value.as_int(), value.as_int(), maxModelWidth+3, value.as_string().c_str());
                        else
-                               log("%-*s %10s %10s %*s\n", maxModelName+10, info.description.c_str(), "--", "--", maxModelWidth+5, value.as_string().c_str());
+                               log("%-*s %11s %9s %*s\n", maxModelName+5, info.description.c_str(), "--", "--", maxModelWidth+3, value.as_string().c_str());
                }
 
                if (last_timestep == -2)