Merge pull request diffblue#364 from diffblue/add_reachability_slicer

Preparation to use of the  reachability slicer before the full-slicer.

Author: marek-trtik

driver/analyser.py

@@ -125,12 +125,11 @@ def run_program_slicing(
 
         command = (
             get_goto_instrument_pathname() + " " +
+            # "--reachability-slice " +
             "--full-slice " +
-            "--verbosity " + str(1) + " " +
+            "--verbosity " + str(verbosity) + " " +
             cfg["goto_binary_file"] + " " +
             dst_goto_program_fname + " " +
-            "--full-slice " +
-            "--verbosity " + str(verbosity) + " " +
             "--save-code-statistics " + dst_goto_stats_fname
             )
         prof_calling_goto_instrument_start_time = time.time()