diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-12-01 11:43:13 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-12-05 14:18:18 +0000 |
| commit | a248708ad455d3717c632d0c3e58b5e977c705c6 (patch) | |
| tree | ad081d087f7a98b320afa0ba7bc4a17889439f84 /.travis.yml | |
| parent | 33a9d773867de826b5e23a1793076efe18dfb3d1 (diff) | |
| download | klee-a248708ad455d3717c632d0c3e58b5e977c705c6.tar.gz | |
Updated TravisCI to use pip2 instead of pip
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 3cb1d54c..0e084aa2 100644 --- a/.travis.yml +++ b/.travis.yml @@ -123,7 +123,7 @@ before_install: - ${KLEE_SRC}/.travis/install-llvm-and-runtime-compiler.sh - ${KLEE_SRC}/.travis/install-tcmalloc.sh # Install lit (llvm-lit is not available) - - sudo pip install lit + - sudo pip2 install lit # Get SMT solvers - ${KLEE_SRC}/.travis/solvers.sh # Get needed utlities/libraries for testing KLEE |