--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on March 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] can frama-c handle callback function well?



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>