--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on September 2019 ---
Hi all 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? Cheers Ivan.- -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190930/b7597872/attachment.html>