read_aiger to ignore line after ands for ascii, not binary
authorEddie Hung <eddieh@ece.ubc.ca>
Sun, 17 Feb 2019 20:07:14 +0000 (12:07 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Sun, 17 Feb 2019 20:07:14 +0000 (12:07 -0800)
commit9268a271fb8b22b089927d63f0b36d620e19704c
treeffd36a339aa3574e70cd22f7d309fc9a4bc70f9e
parent430a7548bca6046c812f713877253f8c3d81d805
read_aiger to ignore line after ands for ascii, not binary
frontends/aiger/aigerparse.cc