-jessie and -then-on do not work well together
ID0000669: This issue was created automatically from Mantis Issue 669. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000669 | Frama-C | Plug-in > jessie | public | 2011-01-12 | 2011-05-19 |
| 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 | - | Fixed in Version | - |
Description :
When I do: frama-c -main Trimming_Validate -lib-entry -pp-annot -slice-calls Trimming_Validate -cpp-extra-args="-Ilibrary -IBSP" ./library/trimming.c -then-on "Slicing export (without unused globals)" -jessie
jessie is executed on the original file instead on the sliced code that I can show doing
frama-c -main Trimming_Validate -lib-entry -pp-annot -slice-calls Trimming_Validate -cpp-extra-args="-Ilibrary -IBSP" ./library/trimming.c -then-on "Slicing export (without unused globals)" -print