File tree Expand file tree Collapse file tree 1 file changed +0
-11
lines changed
Expand file tree Collapse file tree 1 file changed +0
-11
lines changed Original file line number Diff line number Diff line change @@ -35,15 +35,6 @@ let measure_optimizer_coverage llm =
3535 (optimization_res, validation_res)
3636
3737let evaluate_mutant parent_llm llm importants covset node_tbl distance_map =
38- let get_traces lines =
39- (* only use nodes in the sliced cfg *)
40- Trace. of_lines lines
41- |> List. map
42- (List. filter (fun addr ->
43- CD. sliced_cfg_node_of_addr node_tbl distance_map addr
44- |> Option. is_some))
45- in
46-
4738 let optim_res, _ = measure_optimizer_coverage llm in
4839 L. debug " Mutant: " ;
4940 L. debug " %s" (ALlvm. string_of_llmodule llm);
@@ -60,8 +51,6 @@ let evaluate_mutant parent_llm llm importants covset node_tbl distance_map =
6051 in
6152 let trace = lines |> List. map int_of_string |> List. filter filter_func in
6253 let cov = trace |> AUtil. pairs |> Coverage. of_list in
63- (* let traces = get_traces lines in
64- let cov = Coverage.of_traces traces in *)
6554 let new_points = Coverage. diff cov covset in
6655 if Coverage. is_empty new_points then
6756 prerr_endline " No new coverage points"
You can’t perform that action at this time.
0 commit comments