diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-04-05 08:26:10 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-04-05 08:26:10 +0200 |
| commit | eaac5bfbc7faa7144a85590a94d14094899d197f (patch) | |
| tree | 2c780c09461ec47edbf5cd340de615320267e8cf /passes/sat/sat.cc | |
| parent | 3920bf58d01ad9b34a7afba5bfa2f19ffff53240 (diff) | |
| download | yosys-eaac5bfbc7faa7144a85590a94d14094899d197f.tar.gz yosys-eaac5bfbc7faa7144a85590a94d14094899d197f.tar.bz2 yosys-eaac5bfbc7faa7144a85590a94d14094899d197f.zip | |
Improved formatting of "sat" output tables
Diffstat (limited to 'passes/sat/sat.cc')
| -rw-r--r-- | passes/sat/sat.cc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index 2e9c6d2f9..a91f657bc 100644 --- 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) |