--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on September 2019 ---
Hi Virgile Thanks for the fast reply. I'm running frama-c from the command line. Do you know where should I look for this meta-data? Cheers Ivan.- On Mon, Sep 30, 2019 at 1:03 PM Virgile Prevosto <virgile.prevosto at m4x.org> wrote: > Hello, > > Le lun. 30 sept. 2019 à 17:12, Ivan Postolski <ivan.postolski at gmail.com> > a écrit : > > > Is it possible to retrieve the lines of the original program that were > selected for a frama-c slice? > > Or any mapping between the slice of frama-c and the original program? > > Yes, normally the original locations are kept in the new project generated > by the Slicing plug-in. You can see that indirectly if you select this new > project (by default named Slicing Export) in the GUI and click on a > statement in the normalized code view (on the left): the original code view > (on the right) should move to the corresponding line. Note however that > some statements in the original code might be split into several ones in > the normalized view, and that it can happen that some of these statements > are included in the slices and not others. > > Best regards, > -- > E tutto per oggi, a la prossima volta > Virgile > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190930/4a4a4960/attachment.html>