read_aiger with more asserts, and call clean
authorEddie Hung <eddieh@ece.ubc.ca>
Fri, 15 Feb 2019 19:52:05 +0000 (11:52 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Fri, 15 Feb 2019 19:52:05 +0000 (11:52 -0800)
commit8d757224ee677cf2b6fc74b036f25c7ec95e88c3
treebc7ebbeaed2029d0d76f123b4abc23f14157e617
parent3ac5b651973debe76d4d41aef86a9d6376bdae46
read_aiger with more asserts, and call clean
frontends/aiger/aigerparse.cc