Skip to content

Specifying several directories in environment variables FRAMAC_*

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


Id Project Category View Due Date Updated
ID0000764 Frama-C Kernel public 2011-03-25 2012-09-19
Reporter signoles Assigned To signoles Resolution fixed
Priority normal Severity feature Reproducibility N/A
Platform - OS - OS Version -
Product Version - Target Version - Fixed in Version Frama-C Oxygen-20120901

Description :

All in the title.

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