riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Improved formatting of "sat" output tables

This commit is contained in:
Clifford Wolf 2016-04-05 08:26:10 +02:00
parent 3920bf58d0
commit eaac5bfbc7
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
passes/sat/sat.cc
View File

@ -630,11 +630,11 @@ struct SatHelper
"---------------------------------------------------------------------------------------------------"; "---------------------------------------------------------------------------------------------------";
if (last_timestep == -2) { if (last_timestep == -2) {
log(max_timestep > 0 ? " Time " : " "); 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(max_timestep > 0 ? " ---- " : " ");
log("%*.*s %10.10s %10.10s %*.*s\n", maxModelName+10, maxModelName+10, log("%*.*s %11.11s %9.9s %*.*s\n", maxModelName+5, maxModelName+5,
hline, hline, hline, maxModelWidth+5, maxModelWidth+5, hline); hline, hline, hline, maxModelWidth+3, maxModelWidth+3, hline);
last_timestep = info.timestep; last_timestep = info.timestep;
} }
@ -647,9 +647,9 @@ struct SatHelper
log(" "); log(" ");
if (info.width <= 32 && !found_undef) 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 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) if (last_timestep == -2)