Merge pull request #2013 from YosysHQ/eddie/aiger_fixes
authorEddie Hung <eddie@fpgeh.com>
Sat, 2 May 2020 21:16:10 +0000 (14:16 -0700)
committerGitHub <noreply@github.com>
Sat, 2 May 2020 21:16:10 +0000 (14:16 -0700)
 aiger: fixes for ports that have start_offset != 0


Trivial merge