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.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000668 | Frama-C | Plug-in > slicing | public | 2011-01-12 | 2014-02-12 |
| Reporter | lukaszc | Assigned To | signoles | Resolution | won't fix |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20101202-beta2 | Target Version | Frama-C Nitrogen-20111001 | Fixed in Version | - |
Description :
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.