Add verbosity level to cmdline.

Author: marek-trtik

src/taint-analysis/taint_config.cpp

@@ -235,6 +235,12 @@ void taint_build_cmdline_from_config(
   else
     cmdline.set("lazy-methods");
 
+  {
+    const auto attr_it = cfg.object.find("verbosity");
+    if (attr_it != cfg.object.cend())
+      cmdline.set("verbosity", attr_it->second.value);
+  }
+
   auto attr_it = cfg.object.find("program");
   if (attr_it == cfg.object.cend())
     return;