Disable the regression test for now as it depends on the variable sensitivity domain.

martin · martin · commit aae984a7df7b · 2017-10-19T23:47:26.000+01:00
This change was cherry-picked from much later in the variable-sensitivity patch set.
It makes sense to include it here as the changes are independent and apply to many
domains.  However the test case requires options that have not been added yet and
so is disabled for now.
diff --git a/regression/goto-analyzer/sensitivity-function-call-recursive/test.desc b/regression/goto-analyzer/sensitivity-function-call-recursive/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 --variable --pointers --arrays --structs --verify
 ^EXIT=0$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE`
	`1`	`+KNOWNBUG`
`2`	`2`	`main.c`
`3`	`3`	`--variable --pointers --arrays --structs --verify`
`4`	`4`	`^EXIT=0$`