about summary refs log tree commit diff homepage
path: root/.travis.yml
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2015-04-15 21:46:54 +0100
committerDan Liew <daniel.liew@imperial.ac.uk>2015-04-25 13:36:41 +0100
commit9719cddc90bb276b5306baafea9f0bd684ce0b91 (patch)
treed2700f09894f3cef453c877c23d47aabbc4e1916 /.travis.yml
parent28821122b625c5eefbda09a0f28c575d47136f1f (diff)
downloadklee-9719cddc90bb276b5306baafea9f0bd684ce0b91.tar.gz
Make sure TravisCI tests at least one Debug+Asserts build.
Diffstat (limited to '.travis.yml')
-rw-r--r--.travis.yml3
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:
     ###########################################################################