parse_xaiger() to really pass single and multi-bit inout tests
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 26 Feb 2019 20:04:45 +0000 (12:04 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 26 Feb 2019 20:04:45 +0000 (12:04 -0800)
commitda076344cc4a1777a4c4220b71aefd3768dcfd0b
tree30a73dc20482cd73562dd1e6f8781c322e1d3753
parent3ea0161ae7f6111cb435c839eff694476a6527ab
parse_xaiger() to really pass single and multi-bit inout tests
frontends/aiger/aigerparse.cc