read_xaiger to cope with optional '\n' after 'c'
authorEddie Hung <eddie@fpgeh.com>
Tue, 17 Dec 2019 23:43:21 +0000 (15:43 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 17 Dec 2019 23:45:26 +0000 (15:45 -0800)
commit0875a078710a2d60ec3c55e9b5a87d97fd643f3b
tree600783436ebcdcac5450a6f4038962446e3cc118
parente82a9bc642782ea84d46ca135d2c0b6a42b9e772
read_xaiger to cope with optional '\n' after 'c'
frontends/aiger/aigerparse.cc