2021-01-15 19:20 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001288Frama-CPlug-in > aoraïpublic2012-10-26 16:00
ReporterJochen 
Assigned Tovirgile 
PrioritynormalSeveritytrivialReproducibilityalways
StatusacknowledgedResolutionopen 
Product VersionFrama-C Oxygen-20120901 
Target VersionFixed in Version 
Summary0001288: .ya filename missing in error report
DescriptionRunning "frama-c ftest.c -aorai-automata ftest.ya" on the attached example files yields the output:

[aorai] user error: File "", line 1, characters 0-1:
                    Syntax error: Syntax error

Instead of the empty string "", the file name "ftest.ya" should be printed.
TagsNo tags attached.
Attached Files
  • c file icon ftest.c (19 bytes) 2012-10-25 18:31 -
    void main(void) {}
    
    c file icon ftest.c (19 bytes) 2012-10-25 18:31 +
  • ? file icon ftest.ya (14 bytes) 2012-10-25 18:32

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2012-10-25 18:31 Jochen New Issue
2012-10-25 18:31 Jochen Status new => assigned
2012-10-25 18:31 Jochen Assigned To => virgile
2012-10-25 18:31 Jochen File Added: ftest.c
2012-10-25 18:32 Jochen File Added: ftest.ya
2012-10-26 16:00 virgile Status assigned => acknowledged
+Issue History