CL cmdline debugging

Author: tautschnig

src/goto-cc/ms_cl_cmdline.cpp

@@ -57,6 +57,7 @@ bool ms_cl_cmdlinet::parse(const std::vector<std::string> &arguments)
 {
   for(std::size_t i = 0; i < arguments.size(); i++)
   {
+    std::cerr << "ARG " << i << ": " << arguments[i] << std::endl;
     // is it a non-cl option?
     if(std::string(arguments[i], 0, 2) == "--")
     {
@@ -427,6 +428,8 @@ void ms_cl_cmdlinet::process_cl_option(const std::string &s)
     return;
   }
 
+  std::cerr << "cl_option: " << s << std::endl;
+
   for(std::size_t j=0; ms_cl_flags[j]!=nullptr; j++)
   {
     if(std::string(s, 1, std::string::npos)==ms_cl_flags[j])
@@ -455,6 +458,7 @@ void ms_cl_cmdlinet::process_cl_option(const std::string &s)
         optnr=options.size()-1;
       }
 
+      std::cerr << "Found " << *optnr << std::endl;
       options[*optnr].isset=true;
       return;
     }