DEBUG: preprocess

Author: tautschnig

regression/cbmc/complex2/test.desc

@@ -1,6 +1,6 @@
 CORE no-new-smt
 main.c
-
+--preprocess
 ^\[main.assertion.1\] line 12 right: SUCCESS$
 ^\[main.assertion.2\] line 13 wrong: FAILURE$
 ^VERIFICATION FAILED$