Merge pull request #3197 from YosysHQ/claire/smtbmcfix
authorClaire Xen <claire@clairexen.net>
Tue, 22 Feb 2022 14:26:22 +0000 (15:26 +0100)
committerGitHub <noreply@github.com>
Tue, 22 Feb 2022 14:26:22 +0000 (15:26 +0100)
commitac294ed419286a84117e79e4ccd78a19458ae614
tree6c5efcb420699a7e87dfaf5f3cc0fec9843f73f5
parent286caa09bd278dcb877024eeb8c35a66cfc7f92f
parent30eb7f8665bb54ee9e3e25e0508ec6201106ac79
Merge pull request #3197 from YosysHQ/claire/smtbmcfix

Add a bit of flexibilty re AIG witness trace length to smtbmc.py