From: Miodrag Milanović <mmicko@gmail.com>
Date: Wed, 29 Jul 2020 13:41:26 +0000 (+0200)
Subject: Merge pull request #2314 from YosysHQ/verifix_errorfix
X-Git-Tag: working-ls180~341
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2f50c5af482d17c4702f78a1b19f75a52798b11e;p=yosys.git

Merge pull request #2314 from YosysHQ/verifix_errorfix

Verific - prevent exit yosys due to stored error
---

2f50c5af482d17c4702f78a1b19f75a52798b11e