mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-12 20:18:20 +00:00
Code Activity

Fix reading aiw from other solvers

Browse source
This commit is contained in:
Miodrag Milanovic 2022-04-15 11:45:16 +02:00
parent c1646a00ac
commit 9508bb2330
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
passes/sat/sim.cc
View file

@ -1231,13 +1231,13 @@ struct SimWorker : SimShared
{ {
std::string line; std::string line;
std::getline(f, line); std::getline(f, line);
if (line.size()==0 || line[0]=='#') continue; if (line.size()==0 || line[0]=='#' || line[0]=='c' || line[0]=='f' || line[0]=='u') continue;
if (line[0]=='.') break; if (line[0]=='.') break;
if (state==0 && line.size()!=1) { if (state==0 && line.size()!=1) {
// old format detected, latch data // old format detected, latch data
state = 2; state = 2;
} }
if (state==1 && line[0]!='b' && line[0]!='c') { if (state==1 && line[0]!='b' && line[0]!='j') {
// was old format but with 1 bit latch // was old format but with 1 bit latch
top->setState(latches, status); top->setState(latches, status);
state = 3; state = 3;