Skip to content

Smarter access to array of struct of array

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


Id Project Category View Due Date Updated
ID0001044 Frama-C Plug-in > Eva public 2011-12-10 2014-03-13
Reporter pascal Assigned To yakobowski Resolution fixed
Priority normal Severity feature Reproducibility always
Platform - OS - OS Version -
Product Version - Target Version - Fixed in Version Frama-C Neon-20140301

Description :

Smarter access to array of struct of array

Attachments

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