Skip to content

"char const * const *" causes syntax error

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


Id Project Category View Due Date Updated
ID0001729 Frama-C Kernel public 2014-04-03 2015-03-17
Reporter Jochen Assigned To virgile Resolution fixed
Priority normal Severity minor Reproducibility always
Platform xubuntu-cfe13.10 OS - OS Version -
Product Version Frama-C Neon-20140301 Target Version - Fixed in Version Frama-C Sodium

Description :

aaa.c:3:[kernel] user error: unexpected token '*'

Attachments

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