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 /tools | |
| parent | f83c643ae0d71eae3b3d02e083b833be977cf924 (diff) | |
| download | klee-a919c8649a26b85dba1eed147824e033333a408b.tar.gz | |
travis: enable LLVM 5 testing
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions