Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • 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 201
    • Issues 201
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #13
Closed
Open
Created Jun 10, 2020 by Nikolai Kosmatov@nkosmatovDeveloper

Compilation fails after E-ACSL plugin with -g option

As far as I know,

  • the issue has not yet been reported on Gitlab;
  • the issue has not yet been reported on our BTS;
  • I installed Frama-C as prescribed in the instructions.

Contextual information

  • Frama-C installation mode: Opam
  • Frama-C version: 20.0 (Calcium) (as reported by frama-c -version)
  • Plug-in used: E-ACSL
  • OS name: Ubuntu
  • OS version: 19.10

Steps to reproduce the issue

Run with: e-acsl-gcc.sh -omonitored_test.c -g -c test.c

See the attached file for a minimal example.

Expected behaviour

The generation file is compiled and executed. test.c

Actual behaviour

A compilation failure of the file generated file by the E-ACSL plugin.

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