Debugging

Author: tautschnig

regression/systemc/BitvectorSc3/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.cpp
-
+--verbosity 10
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$