parse_xaiger() to cope with multi bit inouts
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 26 Feb 2019 19:37:34 +0000 (11:37 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 26 Feb 2019 19:37:34 +0000 (11:37 -0800)
commit8f02c846f602882478469e86dbd598ade23d1d74
treeae0d93f77da723caec17ee1d448099e48b20bec5
parent967297cd57f80f0b55f7e1d1e00fd6c20b8fb52a
parse_xaiger() to cope with multi bit inouts
frontends/aiger/aigerparse.cc