Frama-C does not support standard C digraphs
ID0002146: This issue was created automatically from Mantis Issue 2146. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002146 | Frama-C | Kernel | public | 2015-07-16 | 2016-08-29 |
| Reporter | dcok@grammatech.com | Assigned To | maroneze | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Sodium | Target Version | - | Fixed in Version | Frama-C Aluminium |
Description :
Frama-C does not parse a program like
void func() <% return; %>
Presumably other standard digraphs and trigraphs are not supported as well.