Bad AST generation ?
ID0001142: This issue was created automatically from Mantis Issue 1142. Further discussion may take place here.
|ID0001142||Frama-C||Plug-in > Eva||public||2012-04-04||2014-02-12|
|Product Version||-||Target Version||-||Fixed in Version||Frama-C Oxygen-20120901|
See program attached: it is accepted as correct (-check passes) but rejected later on (cf. value analysis crashes on it).
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information