Merge pull request diffblue#198 from diffblue/feature/log_failures_in_HTML_dump

SEC-66 : Logging failures in HTML dump of GOTO functions.

Author: marek-trtik

src/taint-slicer/slicing_tasks_builder.cpp

@@ -274,8 +274,10 @@ std::pair<taint_slicing_taskt,std::string> build_slicing_task(
         fileutl_concatenate_file_paths(
           output_dir, to_file_name(props.get_root()));
       dump_symbol_table_in_html(symbol_table, dump_dir);
-      dump_goto_functions_in_html(
+      auto err_message=dump_goto_functions_in_html(
         goto_functions, namespacet(symbol_table), dump_dir);
+      if(!err_message.empty())
+        logger->error() << err_message << messaget::eom;
     }
 
     // Now we collect sink locations. This is necessary in subsequent phases