diff --git a/.travis.yml b/.travis.yml
index f129daadf9a..f4eff522ede 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -58,6 +58,27 @@ matrix:
       # env: COMPILER=g++-5 SAN_FLAGS="-fsanitize=undefined -fno-sanitize-recover -fno-omit-frame-pointer"
       env: COMPILER="g++-5"
 
+    # Ubuntu Linux with glibc using g++-5, debug mode
+    - os: linux
+      sudo: false
+      compiler: gcc
+      cache: ccache
+      addons:
+        apt:
+          sources:
+            - ubuntu-toolchain-r-test
+          packages:
+            - libwww-perl
+            - g++-5
+            - libubsan0
+      before_install:
+        - mkdir bin ; ln -s /usr/bin/gcc-5 bin/gcc
+      # env: COMPILER=g++-5 SAN_FLAGS="-fsanitize=undefined -fno-sanitize-recover -fno-omit-frame-pointer"
+      env:
+        - COMPILER="g++-5"
+        - EXTRA_CXXFLAGS="-DDEBUG"
+      script: echo "Not running any tests for a debug build."
+
     # Ubuntu Linux with glibc using clang++-3.7
     - os: linux
       sudo: false
@@ -81,6 +102,31 @@ matrix:
         - COMPILER="ccache clang++-3.7 -Qunused-arguments -fcolor-diagnostics"
         - CCACHE_CPP2=yes
 
+    # Ubuntu Linux with glibc using clang++-3.7, debug mode
+    - os: linux
+      sudo: false
+      compiler: clang
+      cache: ccache
+      addons:
+        apt:
+          sources:
+            - ubuntu-toolchain-r-test
+            - llvm-toolchain-precise-3.7
+          packages:
+            - libwww-perl
+            - clang-3.7
+            - libstdc++-5-dev
+            - libubsan0
+      before_install:
+        - mkdir bin ; ln -s /usr/bin/clang-3.7 bin/gcc
+        - export CCACHE_CPP2=yes
+      # env: COMPILER=clang++-3.7 SAN_FLAGS="-fsanitize=undefined -fno-sanitize-recover=undefined,integer -fno-omit-frame-pointer"
+      env:
+        - COMPILER="ccache clang++-3.7 -Qunused-arguments -fcolor-diagnostics"
+        - CCACHE_CPP2=yes
+        - EXTRA_CXXFLAGS="-DDEBUG"
+      script: echo "Not running any tests for a debug build."
+
     - env: NAME="CPP-LINT"
       install:
       script: scripts/travis_lint.sh
@@ -95,13 +141,9 @@ matrix:
 install:
   - COMMAND="make -C src minisat2-download" &&
     eval ${PRE_COMMAND} ${COMMAND}
-  - COMMAND="make -C src CXX=\"$COMPILER\" CXXFLAGS=\"-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare\" -j2" &&
-    eval ${PRE_COMMAND} ${COMMAND}
-  - COMMAND="make -C src CXX=\"$COMPILER\" CXXFLAGS=$FLAGS -j2 cegis.dir clobber.dir memory-models.dir musketeer.dir" &&
-    eval ${PRE_COMMAND} ${COMMAND}
-  - COMMAND="make -C src clean" &&
+  - COMMAND="make -C src CXX=\"$COMPILER\" CXXFLAGS=\"-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare $EXTRA_CXXFLAGS\" -j2" &&
     eval ${PRE_COMMAND} ${COMMAND}
-  - COMMAND="make -C src CXX=$COMPILER CXXFLAGS=\"-Wall -O0 -ggdb3 -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare -DDEBUG\" -j2" &&
+  - COMMAND="make -C src CXX=\"$COMPILER\" CXXFLAGS=\"$FLAGS $EXTRA_CXXFLAGS\" -j2 cegis.dir clobber.dir memory-models.dir musketeer.dir" &&
     eval ${PRE_COMMAND} ${COMMAND}
 
 script:
diff --git a/regression/goto-analyzer/constant_propagation_01/test.desc b/regression/goto-analyzer/constant_propagation_01/test.desc
index 7e9cac6056b..1eb849c3c7a 100644
--- a/regression/goto-analyzer/constant_propagation_01/test.desc
+++ b/regression/goto-analyzer/constant_propagation_01/test.desc
@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation1.c
 --constants --simplify out.goto
 ^EXIT=0$
diff --git a/regression/goto-analyzer/constant_propagation_02/test.desc b/regression/goto-analyzer/constant_propagation_02/test.desc
index 635f7dcf620..20cc5fcf86e 100644
--- a/regression/goto-analyzer/constant_propagation_02/test.desc
+++ b/regression/goto-analyzer/constant_propagation_02/test.desc
@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_02.c
 --constants --simplify out.goto
 ^EXIT=0$
diff --git a/regression/goto-analyzer/constant_propagation_03/test.desc b/regression/goto-analyzer/constant_propagation_03/test.desc
index 37962658987..2225c1a666e 100644
--- a/regression/goto-analyzer/constant_propagation_03/test.desc
+++ b/regression/goto-analyzer/constant_propagation_03/test.desc
@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_03.c
 --constants --simplify out.goto
 ^EXIT=0$
diff --git a/regression/goto-analyzer/constant_propagation_04/test.desc b/regression/goto-analyzer/constant_propagation_04/test.desc
index 2b23ac224f7..2510b3f8a5e 100644
--- a/regression/goto-analyzer/constant_propagation_04/test.desc
+++ b/regression/goto-analyzer/constant_propagation_04/test.desc
@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_04.c
 --constants --simplify out.goto
 ^EXIT=0$
diff --git a/regression/goto-analyzer/constant_propagation_05/test.desc b/regression/goto-analyzer/constant_propagation_05/test.desc
index 84712b085da..ddb22cc3616 100644
--- a/regression/goto-analyzer/constant_propagation_05/test.desc
+++ b/regression/goto-analyzer/constant_propagation_05/test.desc
@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_05.c
 --constants --verify
 ^EXIT=0$
diff --git a/regression/goto-analyzer/constant_propagation_06/test.desc b/regression/goto-analyzer/constant_propagation_06/test.desc
index db151228d5c..2c2596fe092 100644
--- a/regression/goto-analyzer/constant_propagation_06/test.desc
+++ b/regression/goto-analyzer/constant_propagation_06/test.desc
@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_06.c
 --intervals --verify
 ^EXIT=0$
diff --git a/regression/goto-analyzer/constant_propagation_07/test.desc b/regression/goto-analyzer/constant_propagation_07/test.desc
index 7494eafcd54..615893d4f78 100644
--- a/regression/goto-analyzer/constant_propagation_07/test.desc
+++ b/regression/goto-analyzer/constant_propagation_07/test.desc
@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_07.c
 --constants --verify
 ^EXIT=0$
diff --git a/regression/goto-analyzer/constant_propagation_09/test.desc b/regression/goto-analyzer/constant_propagation_09/test.desc
index 8cb0ec6a003..6a1b75f0c1b 100644
--- a/regression/goto-analyzer/constant_propagation_09/test.desc
+++ b/regression/goto-analyzer/constant_propagation_09/test.desc
@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_09.c
 --intervals --verify
 ^EXIT=0$
diff --git a/regression/goto-analyzer/constant_propagation_10/test.desc b/regression/goto-analyzer/constant_propagation_10/test.desc
index 7b78521a13d..52d98cb611b 100644
--- a/regression/goto-analyzer/constant_propagation_10/test.desc
+++ b/regression/goto-analyzer/constant_propagation_10/test.desc
@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_10.c
 --constants --simplify out.goto
 ^EXIT=0$
diff --git a/regression/goto-analyzer/intervals1/test.desc b/regression/goto-analyzer/intervals1/test.desc
index 7aca700f7a5..5a9802eeb20 100644
--- a/regression/goto-analyzer/intervals1/test.desc
+++ b/regression/goto-analyzer/intervals1/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 intervals1.c
 --intervals --verify
 ^EXIT=0$
diff --git a/regression/goto-analyzer/intervals3/test.desc b/regression/goto-analyzer/intervals3/test.desc
index dceec17bc81..69ded2182ee 100644
--- a/regression/goto-analyzer/intervals3/test.desc
+++ b/regression/goto-analyzer/intervals3/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 intervals3.c
 --intervals --verify
 ^EXIT=0$
diff --git a/regression/goto-analyzer/intervals5/test.desc b/regression/goto-analyzer/intervals5/test.desc
index 0213e7b3297..eb64fbc13d1 100644
--- a/regression/goto-analyzer/intervals5/test.desc
+++ b/regression/goto-analyzer/intervals5/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 intervals5.c
 --intervals --verify
 ^EXIT=0$
diff --git a/regression/goto-analyzer/intervals9/test.desc b/regression/goto-analyzer/intervals9/test.desc
index 33f92abcdb2..37c33b97288 100644
--- a/regression/goto-analyzer/intervals9/test.desc
+++ b/regression/goto-analyzer/intervals9/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 intervals9.c
 --intervals --verify
 ^EXIT=0$