diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-04-15 11:45:16 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-04-15 11:45:16 +0200 |
| commit | 9508bb23303af2571fc146bc0262ec4d70bce4dc (patch) | |
| tree | 85dc541a825bca015747e2f2744380d2cff12bfe | |
| parent | c1646a00ac5a7b6ab53af64d5f2f70c5848cdf12 (diff) | |
| download | yosys-9508bb23303af2571fc146bc0262ec4d70bce4dc.tar.gz yosys-9508bb23303af2571fc146bc0262ec4d70bce4dc.tar.bz2 yosys-9508bb23303af2571fc146bc0262ec4d70bce4dc.zip | |
Fix reading aiw from other solvers
| -rw-r--r-- | passes/sat/sim.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index ca4aab566..9c431ab25 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -1231,13 +1231,13 @@ struct SimWorker : SimShared { std::string 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 (state==0 && line.size()!=1) { // old format detected, latch data 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 top->setState(latches, status); state = 3; |