--- layout: fc_discuss_archives title: Message 121 from Frama-C-discuss on September 2013 ---
Dear all, uh... The following code is my function for slicing a punch of zones. let slice_zones zones kf = let prj = !Db.Slicing.Project.mk_project "zones slice" in let mark = !Db.Slicing.Mark.make ~data:true ~addr:true ~ctrl:true in let ref_sel_set = ref Db.Slicing.Select.empty_selects in List.iter (fun z -> ref_sel_set := !Db.Slicing.select_func_zone !ref_sel_set mark z kf ) zones; !Db.Slicing.Request.add_selection prj !ref_sel_set; !Db.Slicing.Request.apply_all prj ~propagate_to_callers:false; !Db.Slicing.Slice.get_all prj kf; ;; -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130923/1f0f6b34/attachment.html>