let prop_to_callers project (kf, ff) =
let rec prop kf ff =
let callers = !Db.Value.callers kf in
let process_caller (kf_caller,_) =
let ff_callers = match !Slicing.Slice.get_all project kf_caller with
| [] -> [!Slicing.Slice.create project kf_caller]
| l -> l
in
List.iter
(fun caller ->
!Slicing.Request.add_call_slice project ~caller ~to_call:ff;
prop kf_caller caller)
ff_callers;
in
List.iter process_caller callers
in prop kf ff