DEBUG check-vs-2022-make-build-and-test

Author: tautschnig

regression/cbmc-library/alloca-01/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---pointer-check
+--pointer-check --show-goto-functions
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$