Merge pull request #2314 from YosysHQ/verifix_errorfix
authorMiodrag Milanović <mmicko@gmail.com>
Wed, 29 Jul 2020 13:41:26 +0000 (15:41 +0200)
committerGitHub <noreply@github.com>
Wed, 29 Jul 2020 13:41:26 +0000 (15:41 +0200)
commit2f50c5af482d17c4702f78a1b19f75a52798b11e
tree4b847887c7c4500d6ff0b59e1e06254c5351e5c0
parentdc18bf1969e3550a629ffa4722ad40758fc32535
parentcc02d58194fc6de11f625e670d23cdec814dc366
Merge pull request #2314 from YosysHQ/verifix_errorfix

Verific - prevent exit yosys due to stored error