Regression test for goto-instrument --stack-depth

Author: tautschnig

regression/goto-instrument/stack-depth1/fails.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+--stack-depth 1
+^EXIT=10$
+^SIGNAL=0$
+VERIFICATION FAILED
+--
+^warning: ignoring

regression/goto-instrument/stack-depth1/main.c

@@ -0,0 +1,14 @@
+int bar(int x)
+{
+  return 42;
+}
+
+int foo(int x)
+{
+  return bar(x);
+}
+
+int main(int argc, char* argv[])
+{
+  return foo(argc);
+}

regression/goto-instrument/stack-depth1/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+--stack-depth 2
+^EXIT=0$
+^SIGNAL=0$
+VERIFICATION SUCCESSFUL
+--
+^warning: ignoring