Fix padding, remove CIs from undriven_bits before erasing undriven POs
authorEddie Hung <eddie@fpgeh.com>
Sun, 26 May 2019 18:26:38 +0000 (11:26 -0700)
committerEddie Hung <eddie@fpgeh.com>
Sun, 26 May 2019 18:26:38 +0000 (11:26 -0700)
commit67f7c64a778e46882f884fd7058dc7bc07c5ca1e
treeb1ba7b9b2e144bee0514da19549ee142ea5e25a9
parent086b6560b463878c543f9c9f981515b3b9409528
Fix padding, remove CIs from undriven_bits before erasing undriven POs
backends/aiger/xaiger.cc