More detail of synthesis03 for debug

Author: qinheping

regression/goto-synthesizer/loop_contracts_synthesis_03/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---pointer-check
+--pointer-check _ --verbosity 10
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.pointer\_dereference.\d+\] .* SUCCESS$