Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001943Frama-CPlug-in > jessiepublic2014-10-29 00:532014-10-29 00:53
Assigned Tocmarche 
PrioritynormalSeveritymajorReproducibilityhave not tried
PlatformOSGentoo LinuxOS Version
Product Version 
Target VersionFixed in Version 
Summary0001943: Jessie crashes with "Assertion failed"
Descriptions@localhost ~/1 $ frama-c -jessie x.c [kernel] preprocessing with "i686-pc-linux-gnu-gcc -C -E -I. -dD x.c" [jessie] Starting Jessie translation [jessie] Producing Jessie files in subdir x.jessie [jessie] File x.jessie/x.jc written. [jessie] File x.jessie/x.cloc written. [jessie] Calling Jessie tool in subdir x.jessie unifying a dummy region dummy_region with a non dummy region q_3 File "jc/", line 309, characters 6-6: Uncaught exception: File "jc/", line 309, characters 6-12: Assertion failed [jessie] user error: Jessie subprocess failed: jessie -why3ml -v -locs x.cloc x.jc
TagsNo tags attached.
Attached Filesc file icon x.c [^] (210 bytes) 2014-10-29 00:53 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2014-10-29 00:53 kornevgen New Issue
2014-10-29 00:53 kornevgen Status new => assigned
2014-10-29 00:53 kornevgen Assigned To => cmarche
2014-10-29 00:53 kornevgen File Added: x.c

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker