Merge pull request #3368 from jix/smtbmc-unroll-noincr-traces-fix
authorJannis Harder <me@jix.one>
Fri, 10 Jun 2022 13:25:57 +0000 (15:25 +0200)
committerGitHub <noreply@github.com>
Fri, 10 Jun 2022 13:25:57 +0000 (15:25 +0200)
commit53b205c41df737d2fc4feaf6a46e596a93780bf8
treec99fd2bb9c3b9fc33c23d9534d3a8d325aa31501
parent4b423dcfb4727d5581445e9acbff1051faa0b6ff
parent0c5f62f6ffd53c1a65325df0d71046957d94dfd0
Merge pull request #3368 from jix/smtbmc-unroll-noincr-traces-fix

smtbmc: noincr: keep solver running for post check-sat unrolling