Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001288Frama-CPlug-in > aoraïpublic2012-10-25 18:312012-10-26 16:00
ReporterJochen 
Assigned Tovirgile 
PrioritynormalSeveritytrivialReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
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 Filesc file icon ftest.c [^] (19 bytes) 2012-10-25 18:31 [Show Content]
? file icon ftest.ya [^] (14 bytes) 2012-10-25 18:32

- Relationships

-  Notes
There are no notes attached to this issue.

- 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


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker