Redirecting the output to a file does not work
ID0000668: This issue was created automatically from Mantis Issue 668. Further discussion may take place here.
|ID0000668||Frama-C||Plug-in > slicing||public||2011-01-12||2014-02-12|
|Reporter||lukaszc||Assigned To||signoles||Resolution||won't fix|
|Product Version||Frama-C Carbon-20101202-beta2||Target Version||Frama-C Nitrogen-20111001||Fixed in Version||-|
when I use -slice-print - correct code is rendered on the screen -slice-print -ocode x.c - correct code is rendered on the screen but the file is not created -slice-print -print -ocode x.c - correct code is rendered on the screen but in the file there is different, not sliced code
So I do not see a way to redirect the sliced code to a file other than redirecting the whole console output with different messages.