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
Reporterkornevgen 
Assigned Tocmarche 
PrioritynormalSeveritymajorReproducibilityhave not tried
StatusassignedResolutionopen 
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/jc_region.ml", line 309, characters 6-6:
Uncaught exception: File "jc/jc_region.ml", 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 - 2019 MantisBT Team
Powered by Mantis Bugtracker