diff --git a/regression/Makefile b/regression/Makefile
index 2ebcb257207..b9c41ccd7dd 100644
--- a/regression/Makefile
+++ b/regression/Makefile
@@ -1,4 +1,4 @@
-DIRS = ansi-c cbmc cpp goto-instrument goto-instrument-unwind
+DIRS = ansi-c cbmc cpp goto-instrument goto-instrument-unwind goto-analyzer
 
 test:
 	$(foreach var,$(DIRS), $(MAKE) -C $(var) test || exit 1;)
diff --git a/regression/goto-analyzer/intervals2/test.desc b/regression/goto-analyzer/intervals2/test.desc
index 0c017f6b333..16a8ca559e2 100644
--- a/regression/goto-analyzer/intervals2/test.desc
+++ b/regression/goto-analyzer/intervals2/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 intervals2.c
 --intervals
 ^EXIT=0$
diff --git a/regression/goto-analyzer/intervals4/test.desc b/regression/goto-analyzer/intervals4/test.desc
index 9f56ff02403..97d222012ad 100644
--- a/regression/goto-analyzer/intervals4/test.desc
+++ b/regression/goto-analyzer/intervals4/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 intervals4.c
 --intervals
 ^EXIT=0$