git.libre-soc.org Git - yosys.git/commit

author	Clifford Wolf <clifford@clifford.at>
	Tue, 6 Aug 2019 17:21:37 +0000 (19:21 +0200)
committer	Clifford Wolf <clifford@clifford.at>
	Tue, 6 Aug 2019 17:21:37 +0000 (19:21 +0200)
commit	95a6582f342537d387063be10cba55c001ed19f5
tree	386a3b4a7136864e00bc5986755a157407a6b7e3	tree
parent	a4b59de5d48a89ba5e1b46eb44877a91ceb6fa44	commit \| diff

Be less aggressive with running design->check()

Signed-off-by: Clifford Wolf <clifford@clifford.at>