From 9719cddc90bb276b5306baafea9f0bd684ce0b91 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 15 Apr 2015 21:46:54 +0100
Subject: Make sure TravisCI tests at least one Debug+Asserts build.

---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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:
     ###########################################################################
-- 
cgit 1.4.1