diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-04-18 21:32:29 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-04-20 15:04:24 +0100 |
| commit | e6d3f654df90dc6211d6c4993b937ef44b945f36 (patch) | |
| tree | 7cc3cc744787609b46fc98fa118f7d1c792d956c | |
| parent | 0e923372536355a6c65dd00ecc410bd818454952 (diff) | |
| download | klee-e6d3f654df90dc6211d6c4993b937ef44b945f36.tar.gz | |
Consistently define variable using notation VAR=value; fixed comment placement
| -rw-r--r-- | .travis.yml | 45 |
1 files changed, 22 insertions, 23 deletions
diff --git a/.travis.yml b/.travis.yml index 53e68b6d..2c70284f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -21,9 +21,8 @@ env: # UCLIBC: {0, klee_uclibc_v1.0.0, klee_0_9_29} // Note ``0`` means disabled # DISABLE_ASSERTIONS: {0, 1} # ENABLE_OPTIMIZED: {0, 1} - # COVERAGE: {0, 1} + # COVERAGE: {0, 1} // when set indicates that coverage data should be uploaded to the service # USE_TCMALLOC: {0, 1} - # COVERAGE when set indicates that coverage data should be uploaded to the service # Define default values - they are overwritten by each matrix entry if needed global: @@ -32,27 +31,27 @@ env: - secure: DQAEQWJblXvIztN/sgH63OtFncI+Qju6wRy1zIV/iLf5KbAmLs1h3itU7EsE/+3+LgV1MVQ5QNJDBUj17A6VHRKNaQ5qnIllTAcC3o0nPDohQkQoCgDG8HZ+M4wtVfr7q2K6byEPB2UbSH+mEjSMTihJufgBBVfKyyozAfYycjg= # Default configuration for all Travis-CI jobs. They are overriden by each job. - - BASE_IMAGE: ubuntu:bionic-20200112 - - REPOSITORY: klee - - - COVERAGE: 0 - - DISABLE_ASSERTIONS: 0 - - ENABLE_OPTIMIZED: 1 - - ENABLE_DEBUG: 1 - - GTEST_VERSION: 1.7.0 - - KLEE_RUNTIME_BUILD: "Debug+Asserts" - - LLVM_VERSION: 6.0 - - METASMT_VERSION: qf_abv - - MINISAT_VERSION: "master" - - REQUIRES_RTTI: 0 - - SANITIZER_BUILD: - - SOLVERS: STP:Z3 - - STP_VERSION: 2.3.3 - - TCMALLOC_VERSION: 2.7 - - UCLIBC_VERSION: klee_uclibc_v1.2 - - USE_TCMALLOC: 1 - - USE_LIBCXX: 1 - - Z3_VERSION: 4.8.4 + - BASE_IMAGE=ubuntu:bionic-20200112 + - REPOSITORY=klee + + - COVERAGE=0 + - DISABLE_ASSERTIONS=0 + - ENABLE_OPTIMIZED=1 + - ENABLE_DEBUG=1 + - GTEST_VERSION=1.7.0 + - KLEE_RUNTIME_BUILD="Debug+Asserts" + - LLVM_VERSION=6.0 + - METASMT_VERSION=qf_abv + - MINISAT_VERSION="master" + - REQUIRES_RTTI=0 + - SANITIZER_BUILD= + - SOLVERS=STP:Z3 + - STP_VERSION=2.3.3 + - TCMALLOC_VERSION=2.7 + - UCLIBC_VERSION=klee_uclibc_v1.2 + - USE_TCMALLOC=1 + - USE_LIBCXX=1 + - Z3_VERSION=4.8.4 jobs: include: |