Merge pull request #2139 from YosysHQ/verific_missing_memory
authorclairexen <claire@symbioticeda.com>
Wed, 10 Jun 2020 10:42:43 +0000 (12:42 +0200)
committerGitHub <noreply@github.com>
Wed, 10 Jun 2020 10:42:43 +0000 (12:42 +0200)
commita408771c62eed4252cd2a8f4ae6dd7fa75d1e696
treeb9974c0f5b93951ebd6f245d30a713ef09741b22
parent5c426d2bff07825042b0fa0449805ea9cb8b9f58
parentd6bec3ba1c81ebd123a58231f790564aa99444ff
Merge pull request #2139 from YosysHQ/verific_missing_memory

verific - detect missing memory to prevent crash.