Frama-C Bug Tracking System - Frama-C
View Issue Details
0002382Frama-CKernelpublic2018-07-03 15:042019-07-05 11:41
evdenis 
virgile 
normalminoralways
closedfixed 
 
Frama-C 19-Potassium 
0002382: handling of escape sequences
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'.
No tags attached.
c escape_sequences.c (154) 2018-07-04 09:15
https://bts.frama-c.com/file_download.php?file_id=1268&type=bug
Issue History
2018-07-03 15:04evdenisNew Issue
2018-07-04 09:14evdenisNote Added: 0006567
2018-07-04 09:15evdenisFile Added: escape_sequences.c
2018-07-04 16:55yakobowskiAssigned To => virgile
2018-07-04 16:55yakobowskiStatusnew => assigned
2018-07-10 17:04virgileNote Added: 0006574
2019-06-04 18:24virgileStatusassigned => resolved
2019-06-04 18:24virgileResolutionopen => fixed
2019-06-04 18:24virgileFixed in Version => Frama-C 18-Argon
2019-07-05 11:40signolesFixed in VersionFrama-C 18-Argon => Frama-C 19-Potassium
2019-07-05 11:41signolesStatusresolved => closed

Notes
(0006567)
evdenis   
2018-07-04 09:14   
Found in version: Chlorine-20180501
(0006574)
virgile   
2018-07-10 17:04   
Fixed in some development branch. Most likely part of Frama-C Argon