Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001930Frama-CPlug-in > wppublic2014-09-26 15:242015-03-17 22:18
Reporterrbonichon 
Assigned Tocorrenson 
PrioritylowSeveritytextReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in VersionFrama-C Sodium 
Summary0001930: Status of POs: the word "interruped" should be "interrupted"
DescriptionThe standard output of wp displays "interruped" instead of "interrupted".

The change should occur in src/wp/register.ml
At the same time, the "mutable interruped" field should be changed to "interrupted"
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0001832closedcorrenson typo in wp output: "interruped"-->"interrupted" 

-  Notes
(0005486)
correnson (manager)
2014-09-26 15:55

Duplicate

- Issue History
Date Modified Username Field Change
2014-09-26 15:24 rbonichon New Issue
2014-09-26 15:24 rbonichon Status new => assigned
2014-09-26 15:24 rbonichon Assigned To => correnson
2014-09-26 15:55 correnson Relationship added duplicate of 0001832
2014-09-26 15:55 correnson Note Added: 0005486
2014-09-26 15:55 correnson Status assigned => resolved
2014-09-26 15:55 correnson Resolution open => fixed
2015-03-17 22:17 signoles Fixed in Version => Frama-C Sodium
2015-03-17 22:18 signoles Status resolved => closed


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker