Mark working goto-analyzer tests CORE

tautschnig · jezhiggins · commit 3b739cce61dd · 2021-02-03T14:54:48.000Z
These perhaps failed at some point during development of VSD, but do not
seem to fail with any compilable version of goto-analyzer.
diff --git a/regression/goto-analyzer/variable-sensitivity-bug-02/test.desc b/regression/goto-analyzer/variable-sensitivity-bug-02/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c
 --variable-sensitivity --vsd-structs every-field --vsd-arrays every-element --vsd-pointers constants --show
 ^EXIT=0$
diff --git a/regression/goto-analyzer/variable-sensitivity-bug-03/test.desc b/regression/goto-analyzer/variable-sensitivity-bug-03/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c
 --variable-sensitivity --vsd-structs every-field --vsd-arrays every-element --vsd-pointers constants --show
 ^EXIT=0$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-KNOWNBUG`
	`1`	`+CORE`
`2`	`2`	`main.c`
`3`	`3`	`--variable-sensitivity --vsd-structs every-field --vsd-arrays every-element --vsd-pointers constants --show`
`4`	`4`	`^EXIT=0$`