diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2020-02-04 00:09:54 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-03-02 16:03:53 +0000 |
| commit | 3cf8c8ba74f6d17fc07c1ed86b9c86ed6489217c (patch) | |
| tree | 833ca08ad975d333d3dcf3264107003a00bc18b5 | |
| parent | a4f860c402443ea46f5c6484cee4f9054b37c3c6 (diff) | |
| download | klee-3cf8c8ba74f6d17fc07c1ed86b9c86ed6489217c.tar.gz | |
travis: add LLVM 10.0
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 51a3a086..6143b0d0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,7 +12,7 @@ env: ########################################################################### # Check a subset of the matrix of: - # LLVM : {3.8, 3.9, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0} + # LLVM : {3.8, 3.9, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0} # SOLVERS : {Z3, STP, STP:Z3, metaSMT} # STP_VERSION : {2.3.3, master} # METASMT_VERSION : {v4.rc1} @@ -56,6 +56,7 @@ env: matrix: # Check supported LLVM versions + - LLVM_VERSION=10.0 - LLVM_VERSION=9.0 - LLVM_VERSION=8.0 - LLVM_VERSION=7.0 |