Merge pull request #184 from jix/smtbmc-keepgoing-induction-trace-fix
authorJannis Harder <me@jix.one>
Thu, 23 Jun 2022 11:37:38 +0000 (13:37 +0200)
committerGitHub <noreply@github.com>
Thu, 23 Jun 2022 11:37:38 +0000 (13:37 +0200)
commitf66436ce481259ba8b6b23e538d3f00a8cee774a
tree574b999d933d302a8cd1e09aa15c6b63417b807b
parentfb5705b5bd53d19de9cb1492e1325838eda5ea21
parent3dcf7766ea716ddddea428268cae26f004afcf9f
Merge pull request #184 from jix/smtbmc-keepgoing-induction-trace-fix

smtbmc: Fix induction trace filename with --keep-going for the basecase