diff options
author | Jiri Slaby <jirislaby@gmail.com> | 2018-01-15 11:14:42 +0100 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-10-26 13:31:07 +0100 |
commit | a919c8649a26b85dba1eed147824e033333a408b (patch) | |
tree | f9fb53e956b628bf0aa4dd142a81efda66d65fa2 /lib | |
parent | f83c643ae0d71eae3b3d02e083b833be977cf924 (diff) | |
download | klee-a919c8649a26b85dba1eed147824e033333a408b.tar.gz |
travis: enable LLVM 5 testing
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions