diff options
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/.travis.yml b/.travis.yml index 789ef4e6..8b9cdf4b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,7 +12,7 @@ env: ########################################################################### # Check a subset of the matrix of: - # LLVM : {3.4, 3.5, 3.6, 3.7, 3.8, 3.9, 4.0, 5.0, 6.0, 7} + # LLVM : {3.8, 3.9, 4.0, 5.0, 6.0, 7} # SOLVERS : {Z3, STP, STP:Z3, metaSMT} # STP_VERSION : {2.1.2, master} # METASMT_VERSION : {v4.rc1} @@ -62,10 +62,6 @@ env: - LLVM_VERSION=4.0 - LLVM_VERSION=3.9 - LLVM_VERSION=3.8 - - LLVM_VERSION=3.7 - - LLVM_VERSION=3.6 USE_LIBCXX=0 - - LLVM_VERSION=3.5 USE_LIBCXX=0 - - LLVM_VERSION=3.4 USE_LIBCXX=0 # *Sanitizer builds. Do unoptimized build otherwise the optimizer might remove problematic code - SANITIZER_BUILD=address ENABLE_OPTIMIZED=0 USE_TCMALLOC=0 |