2021-01-27 12:06 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001930Frama-CPlug-in > wppublic2015-03-17 22:18
Assigned Tocorrenson 
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

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



correnson (manager)


-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
+Issue History