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)
commit7395a8069064c90aa0895607ad45f1165d372684
tree17db4d2fd97197eb80dc5d2433e39be8f637fafd
parent6d49145497e48bb063ebbed5164b45569e91b5ca
parentf48c6920b7aa777c0c569f444e3db88211835cec
Merge pull request #1079 from YosysHQ/eddie/fix_read_aiger

Fix read_aiger to really get tested, and fix some uncovered read_aiger issues