Merge pull request #1079 from YosysHQ/eddie/fix_read_aiger
authorClifford Wolf <clifford@clifford.at>
Fri, 7 Jun 2019 21:13:34 +0000 (23:13 +0200)
committerGitHub <noreply@github.com>
Fri, 7 Jun 2019 21:13:34 +0000 (23:13 +0200)
Fix read_aiger to really get tested, and fix some uncovered read_aiger issues


Trivial merge