diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-02-13 12:36:50 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-02-13 12:37:17 -0800 |
| commit | f5cc8cfa7985e7b0d4ee7412a76d6f362e31db9d (patch) | |
| tree | a150331abae6c9c85dd8f7a5a65ec33ca5672bae /backends/aiger/xaiger.cc | |
| parent | f7c0dbecee7ee8f2e3fc8bc8337e7045fd4aff15 (diff) | |
| download | yosys-f5cc8cfa7985e7b0d4ee7412a76d6f362e31db9d.tar.gz yosys-f5cc8cfa7985e7b0d4ee7412a76d6f362e31db9d.tar.bz2 yosys-f5cc8cfa7985e7b0d4ee7412a76d6f362e31db9d.zip | |
write_xaiger: default value for abc9_init
Diffstat (limited to 'backends/aiger/xaiger.cc')
| -rw-r--r-- | backends/aiger/xaiger.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 4149a8628..9b2bab95c 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -649,7 +649,7 @@ struct XAigerWriter log_assert(mergeability > 0); write_r_buffer(mergeability); - Const init = cell->attributes.at(ID(abc9_init)); + Const init = cell->attributes.at(ID(abc9_init), State::Sx); log_assert(GetSize(init) == 1); if (init == State::S1) write_s_buffer(1); |