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

[Frama-c-discuss] question about slicer



Hello,

I have a problem running the slicing tool. I am using the following options

frama-c -slice-print -slice-wr Variable -slice-rd Variable file.c

The Variable is a global but the slicer, slices everything up to a
certain point even though assignments to Variable exist further down the
execution path. I am running frama-c Beryllium-20090902. Could anyone
explain what might be happening?

Thank you
Damien