Fix issue where keep signal became PI, but also box was adding CI driver
authorEddie Hung <eddie@fpgeh.com>
Thu, 30 May 2019 23:03:22 +0000 (16:03 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 30 May 2019 23:03:22 +0000 (16:03 -0700)
commit887c31f33b82e5cb3f50523873d41ceb0cb8e7f4
treef51e62a735dd0d5a1a6b2dba7f2a8f9e295969e7
parenta41553a86125d58a0811975aa8636388615ba239
Fix issue where keep signal became PI, but also box was adding CI driver
backends/aiger/xaiger.cc