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

debug before assertion

This commit is contained in:
Stan Lee 2026-03-18 14:06:18 -07:00
parent f9d099503a
commit 8268a79af5
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
passes/sat/sim.cc
View File

@ -444,6 +444,13 @@ struct SimInstance
bool did_something = false;
sig = sigmap(sig);
if (shared->debug) {
log("GetSize(sig) %s: %d, GetSize(value) %s: %d\n",
log_signal(sig),
GetSize(sig),
log_signal(value),
GetSize(value));
}
log_assert(GetSize(sig) <= GetSize(value));
for (int i = 0; i < GetSize(sig); i++)