Merge pull request diffblue#286 from diffblue/bugfix/slicer_debug_HTML_output

SEC-164: Bugfix: debug HTML output of slicing-tasks and the full-slicer.

Author: marek-trtik

driver/presentation.py

@@ -337,7 +337,7 @@ def build_HTML_interface_to_slicing_tasks(root_dir,sub_dir,ofile):
             ofile.write("    <td align=\"center\"><a href=\"./" + os.path.join(sub_dir,dir_name,"symbol_table.html") +
                         "\">here</a></td>\n")
             ofile.write("    <td align=\"center\"><a href=\"./" +
-                        os.path.relpath(os.path.splitext(slicing_task["goto_binary_file"])[0] + ".stats.json", root_dir) +
+                        os.path.splitext(slicing_task["goto_binary_file"])[0] + ".stats.json" +
                         "\">here</a></td>\n")
             ofile.write("    <td>" + escape_text_to_HTML(slicing_task["goto_binary_file"]) + "</td>\n")
             ofile.write("  </tr>\n")
@@ -365,8 +365,8 @@ def build_HTML_interface_to_the_slicer(root_dir,sub_dir,ofile):
         src_idx_name = int(src_plain_fname[src_plain_fname.rfind("_")+1:])
         dst_goto_program_fname = os.path.join(os.path.dirname(cfg["goto_binary_file"]),
                                               "sliced_goto_program_" + str(src_idx_name) + ".gbf")
-        src_goto_stats_fname = os.path.splitext(cfg["goto_binary_file"])[0] + ".stats.json"
-        dst_goto_stats_fname = os.path.join(os.path.dirname(cfg["goto_binary_file"]),
+        src_goto_stats_fname = os.path.join(root_dir, os.path.splitext(cfg["goto_binary_file"])[0] + ".stats.json")
+        dst_goto_stats_fname = os.path.join(root_dir, os.path.dirname(cfg["goto_binary_file"]),
                                             "sliced_goto_program_" + str(src_idx_name) + ".stats.json")
         ofile.write("<table>\n"
                     "<caption>Result #" + str(src_idx_name) + ".</caption>\n"
@@ -417,8 +417,8 @@ def make_reduction_string(orig_value, reduced_value, add_percentage=True):
         ofile.write("    <td>Reduced GOTO binary size [bytes]</td>\n")
         ofile.write("    <td>" + (
                     make_reduction_string(
-                        os.stat(cfg["goto_binary_file"]).st_size,
-                        os.stat(dst_goto_program_fname).st_size
+                        os.stat(os.path.join(root_dir, cfg["goto_binary_file"])).st_size,
+                        os.stat(os.path.join(root_dir, dst_goto_program_fname)).st_size
                         )
                     if stats_available else "NOT AVAILABLE"
                     ) + "</td>\n")