DEBUG 2

Author: tautschnig

regression/cbmc/printf2/test.desc

@@ -1,6 +1,6 @@
 CORE no-new-smt
 main.c
---trace
+--trace --preprocess
 ^results: five, 5$
 ^EXIT=10$
 ^SIGNAL=0$