From: Jannis Harder Date: Mon, 13 Jun 2022 12:05:37 +0000 (+0200) Subject: Merge pull request #172 from jix/smtbmc-unroll-noincr-traces-fix X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a2000437090f99e9531b8f78fb6b241c46b6f2c5;p=SymbiYosys.git Merge pull request #172 from jix/smtbmc-unroll-noincr-traces-fix Regression test for smtbmc --unroll --noincr --- a2000437090f99e9531b8f78fb6b241c46b6f2c5