Merge pull request #1156 from YosysHQ/eddie/fix_abc9_unknown_cell
authorEddie Hung <eddie@fpgeh.com>
Wed, 3 Jul 2019 16:43:00 +0000 (09:43 -0700)
committerGitHub <noreply@github.com>
Wed, 3 Jul 2019 16:43:00 +0000 (09:43 -0700)
 write_xaiger to treat unknown cell connections as keep-s


Trivial merge