Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002180Frama-CPlug-in > wppublic2015-10-19 21:312017-12-17 20:53
Reporteryakobowski 
Assigned Tocorrenson 
PrioritynormalSeveritycrashReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0002180: Crash on loop with global assigns and per-behavior assigns
Descriptionframa-c -wp crashes on the following program /*@ behavior foo: */ void main(void) { int i; int t[10]; i = 0; /*@ loop assigns t[0 .. i]; for foo: loop assigns t[0 .. i]; */ while (i < 10) { t[i] = 0; i ++; } return; }
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2015-10-19 21:31 yakobowski New Issue
2015-10-19 21:31 yakobowski Status new => assigned
2015-10-19 21:31 yakobowski Assigned To => correnson


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker