Merge pull request #1995 from YosysHQ/eddie/fix_verific_wiretype
authorClaire Wolf <clifford@clifford.at>
Fri, 24 Apr 2020 12:09:47 +0000 (14:09 +0200)
committerGitHub <noreply@github.com>
Fri, 24 Apr 2020 12:09:47 +0000 (14:09 +0200)
verific: do not assert if wire not found; warn instead


Trivial merge