github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-05-05 15:45:07 +00:00
Code Issues Releases Wiki Activity

aiger2: Convert x-states to zeroes

Browse Source
This commit is contained in:
Martin Povišer
2024-10-05 18:05:44 +02:00
parent 4c0a8a1326
commit b8f389370b
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
backends/aiger2/aiger.cc
View File

@@ -549,6 +549,8 @@ struct Index {
return CTRUE;
else if (bit == State::S0)
return CFALSE;
else if (bit == State::Sx)
return CFALSE;
else
log_error("Unhandled state %s\n", log_signal(bit));
}