Regression test for smtbmc --unroll --noincr
authorJannis Harder <me@jix.one>
Wed, 8 Jun 2022 10:08:34 +0000 (12:08 +0200)
committerJannis Harder <me@jix.one>
Mon, 13 Jun 2022 11:36:42 +0000 (13:36 +0200)
commit4ef02d2c5cf5ea68adee915ab5d2fab261c2dc9c
treed9c62503e3dfd57780592533e7ba2af0581af6f6
parent1d21513a47b18b79f70aa1a4377bccb60ed48b10
Regression test for smtbmc --unroll --noincr
tests/regression/unroll_noincr_traces.sby [new file with mode: 0644]