diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-07 15:47:28 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-07 15:47:28 -0700 |
| commit | 58f4b106f3b5914fa00edd59bb2df56d9fe2632e (patch) | |
| tree | 2c8a34fc19815adfbf952e93c9726a0318bb5e23 /frontends/aiger/aigerparse.h | |
| parent | f705f6a0b5d19d38cf41ba5f782847de54110463 (diff) | |
| parent | 2b350401c4577d54c0d460240e2d2847d2eeadc4 (diff) | |
| download | yosys-58f4b106f3b5914fa00edd59bb2df56d9fe2632e.tar.gz yosys-58f4b106f3b5914fa00edd59bb2df56d9fe2632e.tar.bz2 yosys-58f4b106f3b5914fa00edd59bb2df56d9fe2632e.zip | |
Merge branch 'master' into eddie/muxpack
Diffstat (limited to 'frontends/aiger/aigerparse.h')
| -rw-r--r-- | frontends/aiger/aigerparse.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontends/aiger/aigerparse.h b/frontends/aiger/aigerparse.h index c49cd152d..0e3719cc4 100644 --- a/frontends/aiger/aigerparse.h +++ b/frontends/aiger/aigerparse.h @@ -39,6 +39,7 @@ struct AigerReader std::vector<RTLIL::Wire*> inputs; std::vector<RTLIL::Wire*> latches; std::vector<RTLIL::Wire*> outputs; + std::vector<RTLIL::Wire*> bad_properties; AigerReader(RTLIL::Design *design, std::istream &f, RTLIL::IdString module_name, RTLIL::IdString clk_name); void parse_aiger(); |