diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-15 21:46:54 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-25 13:36:41 +0100 |
| commit | 9719cddc90bb276b5306baafea9f0bd684ce0b91 (patch) | |
| tree | d2700f09894f3cef453c877c23d47aabbc4e1916 /.travis.yml | |
| parent | 28821122b625c5eefbda09a0f28c575d47136f1f (diff) | |
| download | klee-9719cddc90bb276b5306baafea9f0bd684ce0b91.tar.gz | |
Make sure TravisCI tests at least one Debug+Asserts build.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 4daa30c9..c971a801 100644 --- a/.travis.yml +++ b/.travis.yml @@ -38,7 +38,8 @@ env: # Check at least one build with Asserts disabled. - LLVM_VERSION=2.9 STP_VERSION=r940 KLEE_UCLIBC=1 DISABLE_ASSERTIONS=1 ENABLE_OPTIMIZED=1 - # FIXME: Do Debug+Asserts builds + # Check at least one Debug+Asserts build + - LLVM_VERSION=3.4 STP_VERSION=UPSTREAM KLEE_UCLIBC=1 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=0 cache: apt before_install: ########################################################################### |