Mark the two failing bugs as KNOWNBUG

thk123 · thk123 · commit 37071e37e505 · 2017-01-13T15:36:05.000Z
The two tests that fail appear to be real bugs as the conditions appear
to be sufficient to conclude the assertion. I also added this folder to
the regressions that get run since excluding these two the remainder
pass.
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$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE`
	`1`	`+KNOWNBUG`
`2`	`2`	`intervals2.c`
`3`	`3`	`--intervals`
`4`	`4`	`^EXIT=0$`