Merge pull request #172 from jix/smtbmc-unroll-noincr-traces-fix
authorJannis Harder <me@jix.one>
Mon, 13 Jun 2022 12:05:37 +0000 (14:05 +0200)
committerGitHub <noreply@github.com>
Mon, 13 Jun 2022 12:05:37 +0000 (14:05 +0200)
commita2000437090f99e9531b8f78fb6b241c46b6f2c5
treeac3e1b0b7a3578732a008eb44ceb32cdf795bdb0
parentc50bd781abfd0c02e42b5f294c226b93b03122f5
parent4ef02d2c5cf5ea68adee915ab5d2fab261c2dc9c
Merge pull request #172 from jix/smtbmc-unroll-noincr-traces-fix

Regression test for smtbmc --unroll --noincr