Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 209
    • Issues 209
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #2341

Closed
Open
Created Nov 12, 2010 by mantis-gitlab-migration@mantis-gitlab-migration

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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking