From 8e6f716e5592afcbbcc30c3a0ff8f1c0b04a0b23 Mon Sep 17 00:00:00 2001 From: Pemma Reiter Date: Wed, 5 Jun 2019 15:53:41 -0700 Subject: [PATCH] fixed an issue with --edit-script and --minimization --incoming-pop where edits weren't being used with minimized when !minimize_patch is true --- src/minimization.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/minimization.ml b/src/minimization.ml index 47bf33ff..0f995dad 100644 --- a/src/minimization.ml +++ b/src/minimization.ml @@ -280,7 +280,11 @@ let delta_debugging orig to_minimize node_map = begin let minimized = delta_set_to_list minimized_script in let min_rep = orig#copy() in - min_rep#construct_rep (None) (Some((script_to_pair_list minimized), node_map)); + if !minimize_patch then + let script = lfoldl (fun acc str -> acc^" "^str) "" minimized in + min_rep#construct_rep (Some(script)) (None) + else + min_rep#construct_rep (None) (Some((script_to_pair_list minimized), node_map)); min_rep#output "Minimization_Files/minimized.c"; let output_name = "minimized.diffscript" in