handling of escape sequences
ID0002382: This issue was created automatically from Mantis Issue 2382. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002382 | Frama-C | Kernel | public | 2018-07-03 | 2019-07-05 |
| Reporter | evdenis | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | Frama-C 19-Potassium |
Description :
Code:
/*@
predicate isspace(integer c) = c == ' ' || c == '\f' || c == '\n' ||
c == '\r' || c == '\t' || c == '\v';
*/
Error:
[kernel] Parsing test.h (with preprocessing) test.h:2:[kernel] failure: Unknown error (File "src/kernel_internals/parsing/logic_lexer.mll", line 390, characters 20-26: Assertion failed)
Need to support '\v'.