Merge pull request diffblue#412 from diffblue/smowton/fix/irep-dump-filenames

Fix irep dump excessively long filenames

Author: smowton

src/summaries/summary_dump.cpp

@@ -501,8 +501,10 @@ std::string  dump_symbol_table_symbols_in_html(
       std::placeholders::_1,
       std::cref(output_directory));
 
-    std::string irep_dump_fname=get_unique_name(
-      as_string(symbol.name)+"__TYPE", exists_checker)+".txt";
+    std::string irep_dump_fname =
+      get_unique_name(
+        make_valid_filename(as_string(symbol.name) + "__TYPE", 15),
+        exists_checker) + ".txt";
     {
       std::fstream irep_out(
         (boost::filesystem::path(output_directory) / irep_dump_fname).native(),
@@ -521,8 +523,10 @@ std::string  dump_symbol_table_symbols_in_html(
     ostr << "        </tr>\n";
     ostr << "        <tr>\n";
 
-    irep_dump_fname=get_unique_name(
-      as_string(symbol.name)+"__INIT", exists_checker)+".txt";
+    irep_dump_fname =
+      get_unique_name(
+        make_valid_filename(as_string(symbol.name)+"__INIT", 15),
+        exists_checker) + ".txt";
     {
       std::fstream irep_out(
         (boost::filesystem::path(output_directory) / irep_dump_fname).native(),