--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on March 2019 ---
Hi, I just used the slicer of frama-c to slice a program which has a callback function, but when I run the slicer, almost all the codes correspond to the callback are dead. I don't know whether it's because of the callback. Best regards newbieroc -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190308/5a253bde/attachment-0001.html>