diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-03-10 13:57:31 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-11 09:51:03 +0000 |
| commit | aa513f1734470b7f726e9a0e47357af941c038f0 (patch) | |
| tree | 3c64bf6a5eb5e2ae90ca1fdef8134e4e69241443 /.travis.yml | |
| parent | 40b432f28052f11e4bfeeb67f89663f8453119a7 (diff) | |
| download | klee-aa513f1734470b7f726e9a0e47357af941c038f0.tar.gz | |
Add LLVM 8.0 target
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 9ea616cd..31c288db 100644 --- a/.travis.yml +++ b/.travis.yml @@ -54,6 +54,7 @@ env: matrix: # Check supported LLVM versions + - LLVM_VERSION=8.0 - LLVM_VERSION=7.0 - LLVM_VERSION=6.0 - LLVM_VERSION=5.0 |