projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f7c0dbe)
write_xaiger: default value for abc9_init
authorEddie Hung <eddie@fpgeh.com>
Thu, 13 Feb 2020 20:36:50 +0000 (12:36 -0800)
committerEddie Hung <eddie@fpgeh.com>
Thu, 13 Feb 2020 20:37:17 +0000 (12:37 -0800)
backends/aiger/xaiger.cc patch | blob | history

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 4149a8628327a8adecbbfe931efeeaabc1a40c18..9b2bab95ca9e85028375c0ef8709a3b04deca8d8 100644 (file)
--- 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);