write_xaiger to behave for undriven/unused inouts
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 26 Feb 2019 20:17:51 +0000 (12:17 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 26 Feb 2019 20:17:51 +0000 (12:17 -0800)
commit8e883d92edef57214093ae7c5d8be6edb8462c8d
treec5f7ff873944455320be8b81979337750a7ff826
parentda076344cc4a1777a4c4220b71aefd3768dcfd0b
write_xaiger to behave for undriven/unused inouts
backends/aiger/xaiger.cc