ghost integer ?
ID0000387: This issue was created automatically from Mantis Issue 387. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000387 | Frama-C | Kernel > ACSL implementation | public | 2010-02-01 | 2010-02-05 |
| Reporter | sboldo | Assigned To | virgile | Resolution | open |
| Priority | normal | Severity | feature | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | - |
Description :
Hello,
It is impossible to have a ghost variable of type integer. I may have an int32 ghost, but I would really prefer having an unbounded integer instead of an int32.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information