let show_cfg (main_ui:Design.main_window_extension_points) kf =
let kf_name = Kernel_function.get_name kf in
main_ui#annot_window#buffer#insert ("[cfg] compute for "^kf_name^"\n");
let select_init_env = ViewGraph_utils.create_graph_win (kf_name ^ " CFG") in
let filename = Register.wp_cfg_dot kf in
try ignore (V.open_dot_file () select_init_env filename)
with ViewGraph_core.DotError _ ->
GToolbox.message_box "Error"
(Printf.sprintf "Dot failed on graph '%s'" filename)