Fix reading aiw from other solvers

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index ca4aab5669b1082eea610255201e593fb5ed3120..9c431ab25692d03eab7e3d422f291b8f36dc948f 100644 (file)
--- 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;