let feature =
{
fd_name = "Liveness";
fd_enabled = ref false;
fd_description = "Spit out live variables at a label";
fd_extraopt = [
"--live_label",
Arg.String (fun s -> live_label := s),
"Output the variables live at this label";
"--live_func",
Arg.String (fun s -> live_func := s),
"Output the variables live at each statement in this function.";
"--live_debug",
Arg.Unit (fun _n -> debug := true),
"Print lots of debugging info";];
fd_doit = do_live_feature;
fd_post_check = false
}