From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 7 Aug 2019 10:14:41 +0000 (+0200)
Subject: Merge pull request #1253 from YosysHQ/clifford/check
X-Git-Tag: working-ls180~1167
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c5d56fbe2d197b28a5d30983506af5d36868abd7;p=yosys.git

Merge pull request #1253 from YosysHQ/clifford/check

Be less aggressive with running design->check()
---

c5d56fbe2d197b28a5d30983506af5d36868abd7