Losing some cmdline option settings when loading
ID0000687: This issue was created automatically from Mantis Issue 687. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000687 | Frama-C | Kernel | public | 2011-01-25 | 2018-09-05 |
| Reporter | signoles | Assigned To | signoles | Resolution | won't fix |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
Running "./bin/viewer.opt -val t.c", then clicking on "Execute": ok -val is correctly set.
BUT running "./bin/toplevel.opt -val -save t.sav t.c" followed by "./bin/viewer.opt -load t.sav", then clicking on "Execute": KO -val is not set anymore.
This behavior only exists for (what is internally called) 'action' parameters. Actually we must precise the exact semantics, and then implement it consistently.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information