Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000668Frama-CPlug-in > slicingpublic2011-01-12 12:492014-02-12 16:55
Reporterlukaszc 
Assigned Tosignoles 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionwon't fix 
PlatformOSOS Version
Product VersionFrama-C Carbon-20101202-beta2 
Target VersionFrama-C Nitrogen-20111001Fixed in Version 
Summary0000668: Redirecting the output to a file does not work
Descriptionwhen 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.
TagsNo tags attached.
Attached Files

- Relationships
related to 0000687assignedsignoles Losing some cmdline option settings when loading 

-  Notes
(0001382)
Anne (reporter)
2011-01-12 13:18

In the messages printed on the screen, you can see first :
   [slicing] exporting project to 'Slicing export'...
and then :
   [sparecode] removed unused global declarations in new project 'Slicing export (without unused globals)'

It means that the result is in the project named 'Slicing export (without unused globals)', and you can do :

<normal slicing command> -then-on 'Slicing export (without unused globals)' -print -ocode x.c

but I must confess that it should be possible to provide a better name to the project ! I will try to add a slicing option to do that.
(0001383)
patrick (developer)
2011-01-14 11:15

I'm quite sure that -slice-print -ocode x.c worked fine with first versions of Frama-C. It could be a regression problem.
(0001387)
patrick (developer)
2011-01-14 15:11
edited on: 2011-03-21 16:32

Now the command is: <normal slicing command> -then-on 'Slicing export' -print -ocode x.c

Options have been added for naming the internal slicing
project, and the exported frama-c project

Lets go for the remaining problem:
 -slice-print -ocode x.c
should pretty print the exported AST into the file x.c

(0001506)
signoles (manager)
2011-02-16 11:15

Would be solved in a more general way to be implemented for the next Frama-C major release.
(0002366)
signoles (manager)
2011-09-30 13:35

Option -slice-print is now deprecated. The nominal way to print the resulting AST is now:
<normal slicing command> -then-on 'Slicing export' -print

If you want to redirect the output into a file add -ocode file.i:
<normal slicing command> -then-on 'Slicing export' -print -ocode file.i

- Issue History
Date Modified Username Field Change
2011-01-12 12:49 lukaszc New Issue
2011-01-12 12:49 lukaszc Status new => assigned
2011-01-12 12:49 lukaszc Assigned To => Anne
2011-01-12 13:18 Anne Note Added: 0001382
2011-01-12 13:18 Anne Status assigned => acknowledged
2011-01-14 11:15 patrick Note Added: 0001383
2011-01-14 11:26 patrick Status acknowledged => assigned
2011-01-14 11:26 patrick Assigned To Anne => patrick
2011-01-14 14:03 svn Checkin
2011-01-14 14:25 svn Checkin
2011-01-14 15:07 svn Checkin
2011-01-14 15:11 patrick Note Added: 0001387
2011-01-14 16:42 svn Checkin
2011-01-14 16:43 svn Checkin
2011-02-16 11:12 signoles Relationship added related to 0000687
2011-02-16 11:15 signoles Note Added: 0001506
2011-02-16 11:15 signoles Assigned To patrick => signoles
2011-02-16 11:15 signoles Status assigned => acknowledged
2011-02-16 11:15 signoles Target Version => Frama-C Nitrogen-20110901
2011-03-21 16:32 patrick Note Edited: 0001387
2011-05-16 17:10 signoles Relationship added related to 0000707
2011-09-30 13:35 signoles Note Added: 0002366
2011-09-30 13:35 signoles Status acknowledged => closed
2011-09-30 13:35 signoles Resolution open => won't fix
2011-09-30 14:47 svn Checkin
2011-09-30 14:51 svn Checkin


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker