Fix read_aiger -- create zero driver, fix init width, parse 'b'
authorEddie Hung <eddie@fpgeh.com>
Fri, 7 Jun 2019 18:07:15 +0000 (11:07 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 7 Jun 2019 18:07:15 +0000 (11:07 -0700)
commita04521c6b70396a590f0ddb3081c4c5d6b01671e
tree374684cfe3e4ed55bae873cc8b099c3190e06380
parentabc40924ed5dc4aba91c7f1e83ca90f54e9eb455
Fix read_aiger -- create zero driver, fix init width, parse 'b'
frontends/aiger/aigerparse.cc
frontends/aiger/aigerparse.h