[Mutation] print to stderr

Author: bongjunj

src/mutation/mutator.ml

@@ -1742,7 +1742,7 @@ let mutate_inner_bb times llctx llm choice_fn importants =
     if times = 0 then ([], None)
     else
       let mutation = choice_fn () in
-      L.info "mutation: %a" Domain.pp_mutation mutation;
+      Format.eprintf "[mutate_inner_bb] %a@." Domain.pp_mutation mutation;
       (* L.debug "before:\n%s" (string_of_llmodule llm); *)
       let mutation_result =
         match mutation with
@@ -1755,14 +1755,12 @@ let mutate_inner_bb times llctx llm choice_fn importants =
         (* | _ -> (None, None, None) *)
       in
       match mutation_result with
-      | _, Some llm ->
-          L.debug "mutant: %s" (string_of_llmodule llm);
+      | _, Some _llm ->
+          Format.eprintf "[mutate_inner_bb] good@.";
           (* let f = choose_function llm in
              reset_var_names f; *)
           mutation_result
-      | _, None ->
-          L.debug "None";
-          loop (times - 1) ()
+      | _, None -> loop (times - 1) ()
   in
 
   loop times ()

src/seedcorpus/domain.ml

@@ -150,9 +150,7 @@ module CfgSeed = struct
     if !Config.score = Config.FuzzingMode.Constant then 4
     else
       let int_score = Float.to_int seed.score in
-      if seed.covers then 12
-      else if int_score >= 10 then 3
-      else Int.sub 12 int_score
+      if seed.covers then 12 else if int_score >= 10 then 3 else 12 - int_score
 
   let name ?(parent : int option) seed =
     let hash = ALlvm.hash_llm seed.llm in

src/seedcorpus/sliced_cfg_edge_cov_based.ml

@@ -202,8 +202,8 @@ let make llctx node_tbl (distmap : float Aflgo.DistanceTable.t) =
   let seeds =
     Sys.readdir seed_dir
     |> (fun x ->
-    L.info "%d seeds found" (Array.length x);
-    x)
+         L.info "%d seeds found" (Array.length x);
+         x)
     |> Array.to_list
     |> List.map (Filename.concat seed_dir)
     |> List.filter_map filter_seed