Error parsing annotation
ID0000627: This issue was created automatically from Mantis Issue 627. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000627 | Frama-C | Plug-in > jessie | public | 2010-11-12 | 2010-11-15 |
| Reporter | ElenaNaum | Assigned To | cmarche | Resolution | no change required |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | - |
Description :
I am a new user and I tried to install Frama-c with the Jessie plug-in. I went through all the steps that are listed in the INSTALL files. The problem occurs when I try to execute the following: frama-c -jessie frama-c-Boron-20100401-why-2.24/why/examples-c/sorting/quicksort.c [or any other example in the why/examples-c/ folder].
/frama-c-Boron-20100401-why-2.24/why/examples-c/sorting/quicksort.c:5:[kernel] user error: syntax error while parsing annotation [kernel] user error: skipping file "frama-c-Boron-20100401-why-2.24/why/examples-c/sorting/quicksort.c" that has errors. [kernel] Frama-C aborted because of an invalid user input.
Additional Information :
I did not modify in any way the code for the examples.