read_aiger: consistency between ascii and binary
authorEddie Hung <eddie@fpgeh.com>
Tue, 7 Jan 2020 17:32:34 +0000 (09:32 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 7 Jan 2020 17:32:34 +0000 (09:32 -0800)
commitb57f692a9e5b2fe9b9f63f329f29d933347a2c40
treed89e262ac097b501d828e632578c85aa08a5df5f
parent5d9050a9551628f838ee419404cf1b1d3920a3ed
read_aiger: consistency between ascii and binary
frontends/aiger/aigerparse.cc