diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-03-13 16:10:01 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-17 15:43:21 +0000 |
| commit | f7612f0cfd68a157a5998649d070ef03e62fb89e (patch) | |
| tree | 4ef34d44c1fca47fc6941b7965b4245ba5ddb93b | |
| parent | c4989f7d6c164a312fd5fe79c8729ccd952b58c2 (diff) | |
| download | klee-f7612f0cfd68a157a5998649d070ef03e62fb89e.tar.gz | |
Use newer uclibc version: libc++ requires locale support activated
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 352ef4be..d6e027bf 100644 --- a/.travis.yml +++ b/.travis.yml @@ -48,7 +48,7 @@ env: - SOLVERS: STP:Z3 - STP_VERSION: 2.3.2 - TCMALLOC_VERSION: 2.7 - - UCLIBC_VERSION: klee_uclibc_v1.0.0 + - UCLIBC_VERSION: klee_uclibc_v1.2-rc.1 - USE_TCMALLOC: 1 - USE_LIBCXX: 1 - Z3_VERSION: 4.8.4 |