--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on October 2019 ---
Hey Does anybody has any hint on this? Cheers Ivan.- On Thu, Oct 17, 2019 at 1:21 AM Ivan Postolski <ivan.postolski at gmail.com> wrote: > Hello > > I've read somewhere online that a "dynamic" slicing can be achieved with > frama-c by running the eva analysis with the setting "-slevel 999999999". > Is this an intended behaviour? are there any previous works that report > about the quality/properties of such slices? Can these slices really be > thought as dynamic? > > Cheers > > Ivan.- > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20191021/0da582a8/attachment.html>