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 209
    • Issues 209
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • 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
  • #245

Closed
Open
Created Jan 25, 2011 by Julien Signoles@signolesDeveloper

Losing some cmdline option settings when loading

ID0000687: This issue was created automatically from Mantis Issue 687. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0000687 Frama-C Kernel public 2011-01-25 2018-09-05
Reporter signoles Assigned To signoles Resolution won't fix
Priority normal Severity minor Reproducibility always
Platform - OS - OS Version -
Product Version - Target Version - Fixed in Version -

Description :

Running "./bin/viewer.opt -val t.c", then clicking on "Execute": ok -val is correctly set.

BUT running "./bin/toplevel.opt -val -save t.sav t.c" followed by "./bin/viewer.opt -load t.sav", then clicking on "Execute": KO -val is not set anymore.

This behavior only exists for (what is internally called) 'action' parameters. Actually we must precise the exact semantics, and then implement it consistently.

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