diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-11-29 20:37:11 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-12-04 15:57:01 +0000 |
| commit | 4ca5a80836de48036e47f611a6ea610a6fb2b54b (patch) | |
| tree | fb3e8110fcd2ac9e6ff479b94bc69a71e0faea3f /lib/Solver | |
| parent | 9d33f395e34aaef9902d6fe6c15e06e894231f85 (diff) | |
| download | klee-4ca5a80836de48036e47f611a6ea610a6fb2b54b.tar.gz | |
Test reflecting the LLVM 11 behavior for transforming reads of the form f[k], with k symbolic and f a 4-element vector into something along the lines:
if k == 0 => f[0] elif k == 1 => f[1] elif k == 2 => f[2] elif k == 3 => f[3] else ==> undef
Diffstat (limited to 'lib/Solver')
0 files changed, 0 insertions, 0 deletions