Passing verbosity to the slicer.

Author: marek-trtik

security-scanner/analyser.py

@@ -207,7 +207,7 @@ def run_search_for_error_traces(
             get_cbmc_pathname() + " " +
             cfg["goto_binary_file"] + " " +
             " --trace --lazy-methods --json-ui --unwind 10 " +
-            "--verbosity " + str(1) + " "
+            "--verbosity " + str(verbosity) + " "
             "> \"cbmc_results.json\""
             )
         prof["calling_cbmc"] = {}