From: Claire Xen Date: Tue, 22 Feb 2022 14:26:22 +0000 (+0100) Subject: Merge pull request #3197 from YosysHQ/claire/smtbmcfix X-Git-Tag: yosys-0.15~13 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ac294ed419286a84117e79e4ccd78a19458ae614;p=yosys.git Merge pull request #3197 from YosysHQ/claire/smtbmcfix Add a bit of flexibilty re AIG witness trace length to smtbmc.py --- ac294ed419286a84117e79e4ccd78a19458ae614