From: Jannis Harder Date: Fri, 10 Jun 2022 13:25:57 +0000 (+0200) Subject: Merge pull request #3368 from jix/smtbmc-unroll-noincr-traces-fix X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=53b205c41df737d2fc4feaf6a46e596a93780bf8;p=yosys.git Merge pull request #3368 from jix/smtbmc-unroll-noincr-traces-fix smtbmc: noincr: keep solver running for post check-sat unrolling --- 53b205c41df737d2fc4feaf6a46e596a93780bf8