option "-print" prints array upper bound in type before parameter name, rather than after it
ID0002248: This issue was created automatically from Mantis Issue 2248. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002248 | Frama-C | Kernel | public | 2016-10-06 | 2016-12-08 |
| Reporter | Jochen | Assigned To | virgile | Resolution | open |
| Priority | normal | Severity | text | Reproducibility | always |
| Platform | - | OS | xubuntu | OS Version | - |
| Product Version | Frama-C Aluminium | Target Version | - | Fixed in Version | - |
Description :
Running "frama-c -print ftest.c" on the attached program doesn't reproduce the input program; insteadt, it prints the "[a]" before the "b", not after it.