debugging output to resolve seg fault

tautschnig · Daniel Kroening · commit fb17dcbe3c15 · 2018-08-04T14:39:02.000+01:00
diff --git a/regression/goto-cl/Fo/Fo-directory.desc b/regression/goto-cl/Fo/Fo-directory.desc
@@ -1,6 +1,6 @@
 CORE
 
-/c main1.c main2.c /Fo dir
+--verbosity 10 /c main1.c main2.c /Fo dir
 ^EXIT=0$
 ^SIGNAL=0$
 --
