Merge pull request #432 from thk123/tests/intervals-failing

peterschrammel · web-flow · commit 9ff6e690ea32 · 2017-01-13T18:23:38.000Z
Mark the two failing bugs in regressions/goto-analyzer as KNOWNBUG
diff --git 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
@@ -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
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 intervals4.c
 --intervals
 ^EXIT=0$
