Merge branch 'read_aiger' of github.com:eddiehung/yosys into read_aiger
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 12 Feb 2019 17:21:46 +0000 (09:21 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 12 Feb 2019 17:21:46 +0000 (09:21 -0800)
1  2 
frontends/aiger/aigerparse.cc

index 888a4afe644052e9af7590bf1b87a7252f975cc9,1e13e1124fdad99a33f7f2a398f292c80dafd86d..7df28fe87487964420db48d2453c73267a40835b
@@@ -234,9 -235,12 +233,8 @@@ void AigerReader::parse_aiger_ascii(
          RTLIL::Wire *o_wire = createWireIfNotExists(module, l1);
          RTLIL::Wire *i1_wire = createWireIfNotExists(module, l2);
          RTLIL::Wire *i2_wire = createWireIfNotExists(module, l3);
 -
 -        RTLIL::Cell *and_cell = module->addCell(NEW_ID, "$_AND_");
 -        and_cell->setPort("\\A", i1_wire);
 -        and_cell->setPort("\\B", i2_wire);
 -        and_cell->setPort("\\Y", o_wire);
 +        module->addAndGate(NEW_ID, i1_wire, i2_wire, o_wire);
      }
-     std::getline(f, line); // Ignore up to start of next line
  }
  
  static unsigned parse_next_delta_literal(std::istream &f, unsigned ref)