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)
commit3eb24809a1d80f4b7015e6f8b1458e300727c244
tree408caa1d94ffbb6deb6b933ded39fff956616420
parent4ca5f9799b7c7b40ac0fd91e7001286a99a4b29c
parentd3555c667c5057f39e0ea31a518d1f4922f2b2a4
Merge pull request #1995 from YosysHQ/eddie/fix_verific_wiretype

verific: do not assert if wire not found; warn instead