From: Jannis Harder Date: Thu, 23 Jun 2022 11:37:38 +0000 (+0200) Subject: Merge pull request #184 from jix/smtbmc-keepgoing-induction-trace-fix X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f66436ce481259ba8b6b23e538d3f00a8cee774a;p=SymbiYosys.git Merge pull request #184 from jix/smtbmc-keepgoing-induction-trace-fix smtbmc: Fix induction trace filename with --keep-going for the basecase --- f66436ce481259ba8b6b23e538d3f00a8cee774a