diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-30 15:54:26 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-02 23:23:04 +0000 |
| commit | 93328c569caa894c482614d7b18e1ab16d64a0e1 (patch) | |
| tree | c866691d4e7cb00b852b399addad6ac0d38a087c /.travis.yml | |
| parent | 9293a3b584a8249ec8846e9200699e46e22a887c (diff) | |
| download | klee-93328c569caa894c482614d7b18e1ab16d64a0e1.tar.gz | |
[TravisCI] Fix the list of available configuration environment
variables.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 3c935912..822172c7 100644 --- a/.travis.yml +++ b/.travis.yml @@ -19,13 +19,17 @@ env: # configuration. ########################################################################### - # Check the matrix of: + # Check a subset of the matrix of: # LLVM : {2.9, 3.4} # SOLVERS : {Z3, STP, STP:Z3, metaSMT} # STP_VERSION : {2.1.2, master} # METASMT_DEFAULT : {btor, stp, z3} # UCLIBC: {0, klee_uclibc_v1.0.0, klee_0_9_29} // Note ``0`` means disabled - # with Asserts enabled. + # DISABLE_ASSERTIONS: {0, 1} + # ENABLE_OPTIMIZED: {0, 1} + # COVERAGE: {0, 1} + # USE_TCMALLOC: {0, 1} + # USE_CMAKE: {0, 1} # COVERAGE set indicated that coverage data should be uplaoded to the server, only ONE job should have COVERAGE set |