--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on March 2010 ---
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