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: <pre> /*@ predicate isspace(integer c) = c == ' ' || c == '\f' || c == '\n' || c == '\r' || c == '\t' || c == '\v'; */ </pre> Error: <pre> [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) </pre> Need to support '\v'. ## Attachments - [escape_sequences.c](/uploads/24f837eb87b6ff67601f79146e0f08eb/escape_sequences.c)