write_xaiger duplicate inout port into out port with $inout.out suffix
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 26 Feb 2019 02:39:36 +0000 (18:39 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 26 Feb 2019 02:39:36 +0000 (18:39 -0800)
commitc492a3a1c4a36c273cb3ce8266d974a7cb595808
treee2644c62832cf0e0a6607af33e938c51f9724be8
parent721f6a14fb632b671ba10ed13cafad1263e2b073
write_xaiger duplicate inout port into out port with $inout.out suffix
backends/aiger/xaiger.cc