DEBUGGING only: force verbosity to 10

tautschnig · tautschnig · commit d81ea8f9c066 · 2018-08-06T18:11:46.000Z
diff --git a/src/goto-cc/ms_cl_mode.cpp b/src/goto-cc/ms_cl_mode.cpp
@@ -57,7 +57,7 @@ int ms_cl_modet::doit()
   #endif
 
   const auto verbosity = eval_verbosity(
-    cmdline.get_value("verbosity"), messaget::M_ERROR, message_handler);
+    "10", messaget::M_ERROR, message_handler);
 
   debug() << "Visual Studio mode" << eom;
 
diff --git a/src/goto-cc/ms_link_mode.cpp b/src/goto-cc/ms_link_mode.cpp
@@ -31,7 +31,7 @@ int ms_link_modet::doit()
   }
 
   eval_verbosity(
-    cmdline.get_value("verbosity"), messaget::M_ERROR, message_handler);
+    "10", messaget::M_ERROR, message_handler);
 
   compilet compiler(cmdline, message_handler, false);
 

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,7 @@ int ms_link_modet::doit()`
`31`	`31`	`}`
`32`	`32`
`33`	`33`	`eval_verbosity(`
`34`		`- cmdline.get_value("verbosity"), messaget::M_ERROR, message_handler);`
	`34`	`+ "10", messaget::M_ERROR, message_handler);`
`35`	`35`
`36`	`36`	`compilet compiler(cmdline, message_handler, false);`
`37`	`37`