diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-11-29 20:33:32 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-12-04 15:57:01 +0000 |
| commit | 9d33f395e34aaef9902d6fe6c15e06e894231f85 (patch) | |
| tree | 7a06efa82dd1325d242ecf4eeccaeb2f3bef07b2 /test/regression/2007-07-30-unflushed-byte.c | |
| parent | 9be3e76ed1f9eb0ec86531e2437091f7f1f02c88 (diff) | |
| download | klee-9d33f395e34aaef9902d6fe6c15e06e894231f85.tar.gz | |
Test reflecting the LLVM 11 behavior for transforming writes of the form f[k] = v, with f a 4-element vector, into something along the lines:
if k == 0 => f[0] = v if k == 1 => f[1] = v if k == 2 => f[2] = v if k == 3 => f[3] = v
Diffstat (limited to 'test/regression/2007-07-30-unflushed-byte.c')
0 files changed, 0 insertions, 0 deletions