Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002382Frama-CKernelpublic2018-07-03 15:042018-07-10 17:04
Reporterevdenis 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0002382: handling of escape sequences
DescriptionCode:
/*@
   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'.
TagsNo tags attached.
Attached Filesc file icon escape_sequences.c [^] (154 bytes) 2018-07-04 09:15 [Show Content]

- Relationships

-  Notes
(0006567)
evdenis (reporter)
2018-07-04 09:14

Found in version: Chlorine-20180501
(0006574)
virgile (developer)
2018-07-10 17:04

Fixed in some development branch. Most likely part of Frama-C Argon

- Issue History
Date Modified Username Field Change
2018-07-03 15:04 evdenis New Issue
2018-07-04 09:14 evdenis Note Added: 0006567
2018-07-04 09:15 evdenis File Added: escape_sequences.c
2018-07-04 16:55 yakobowski Assigned To => virgile
2018-07-04 16:55 yakobowski Status new => assigned
2018-07-10 17:04 virgile Note Added: 0006574


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker