Mark goto-analyzer tests as not working until the new version is merged in

Author: forejtv

regression/goto-analyzer/constant_propagation_01/test.desc

@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation1.c
 --constants --simplify out.goto
 ^EXIT=0$

regression/goto-analyzer/constant_propagation_02/test.desc

@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_02.c
 --constants --simplify out.goto
 ^EXIT=0$

regression/goto-analyzer/constant_propagation_03/test.desc

@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_03.c
 --constants --simplify out.goto
 ^EXIT=0$

regression/goto-analyzer/constant_propagation_04/test.desc

@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_04.c
 --constants --simplify out.goto
 ^EXIT=0$

regression/goto-analyzer/constant_propagation_05/test.desc

@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_05.c
 --constants --verify
 ^EXIT=0$

regression/goto-analyzer/constant_propagation_06/test.desc

@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_06.c
 --intervals --verify
 ^EXIT=0$

regression/goto-analyzer/constant_propagation_07/test.desc

@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_07.c
 --constants --verify
 ^EXIT=0$

regression/goto-analyzer/constant_propagation_09/test.desc

@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_09.c
 --intervals --verify
 ^EXIT=0$

regression/goto-analyzer/constant_propagation_10/test.desc

@@ -1,4 +1,4 @@
-CORE
+FUTURE
 constant_propagation_10.c
 --constants --simplify out.goto
 ^EXIT=0$

regression/goto-analyzer/intervals1/test.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 intervals1.c
 --intervals --verify
 ^EXIT=0$

regression/goto-analyzer/intervals3/test.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 intervals3.c
 --intervals --verify
 ^EXIT=0$

regression/goto-analyzer/intervals5/test.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 intervals5.c
 --intervals --verify
 ^EXIT=0$

regression/goto-analyzer/intervals9/test.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 intervals9.c
 --intervals --verify
 ^EXIT=0$