Skip to content

Duplicates are created on the tab "Messages"

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


Id Project Category View Due Date Updated
ID0002276 Frama-C Graphical User Interface public 2017-02-03 2017-11-27
Reporter Max P. Assigned To maroneze Resolution reopened
Priority normal Severity tweak Reproducibility always
Platform - OS - OS Version -
Product Version Frama-C 14-Silicon Target Version - Fixed in Version -

Description :

New messages append to old messages on the tab "Messages" if an analysis are rerun with new options.

Steps To Reproduce :

  1. Run Value analysis.
  2. Change any option.
  3. Run Value analysis.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information