diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-06-07 23:13:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-07 23:13:34 +0200 |
| commit | 7395a8069064c90aa0895607ad45f1165d372684 (patch) | |
| tree | 17db4d2fd97197eb80dc5d2433e39be8f637fafd /frontends/aiger/aigerparse.h | |
| parent | 6d49145497e48bb063ebbed5164b45569e91b5ca (diff) | |
| parent | f48c6920b7aa777c0c569f444e3db88211835cec (diff) | |
| download | yosys-7395a8069064c90aa0895607ad45f1165d372684.tar.gz yosys-7395a8069064c90aa0895607ad45f1165d372684.tar.bz2 yosys-7395a8069064c90aa0895607ad45f1165d372684.zip | |
Merge pull request #1079 from YosysHQ/eddie/fix_read_aiger
Fix read_aiger to really get tested, and fix some uncovered read_aiger issues
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(); |