Option perdue par le save/load
ID0001049: This issue was created automatically from Mantis Issue 1049. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001049 | Frama-C | Kernel | public | 2011-12-13 | 2011-12-13 |
| Reporter | yakobowski | Assigned To | signoles | Resolution | no change required |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Nitrogen-20111001 | Target Version | - | Fixed in Version | - |
Description :
val.c: main () { }
frama-c -calldeps val.c -from-verbose 0 -then -save bla.sav frama-c -load bla.sav
Les résultats de -calldeps sont affichés après le -load, alors que le main de from teste si verbose est égal à 0. Tout laisse penser que le -from-verbose est perdu à un moment.