diff options
author | Jiri Slaby <jirislaby@gmail.com> | 2017-11-01 09:25:47 +0100 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-07-12 23:25:49 +0100 |
commit | 6b5e0162904420193d247b9584d52e8c16f47ddf (patch) | |
tree | 4601576b00276ae2c9b2b99b6ea9c56e9d0900ca /lib/Core/MergeHandler.cpp | |
parent | 2868f6a64cae3a11db3282247253a7a9556ee5a8 (diff) | |
download | klee-6b5e0162904420193d247b9584d52e8c16f47ddf.tar.gz |
llvm38: test, change some tests
alias in LLVM 3.8 has a new format, it adds an AliaseeTy parameter. So handle this in the tests. [v2] add comments about what was changed and why Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Core/MergeHandler.cpp')
0 files changed, 0 insertions, 0 deletions