Frama-C Bug Tracking System - Frama-C
View Issue Details
0001930Frama-CPlug-in > wppublic2014-09-26 15:242015-03-17 22:18
rbonichon 
correnson 
lowtextalways
closedfixed 
 
Frama-C Sodium 
0001930: Status of POs: the word "interruped" should be "interrupted"
The 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"
No tags attached.
duplicate of 0001832closed correnson typo in wp output: "interruped"-->"interrupted" 
Issue History
2014-09-26 15:24rbonichonNew Issue
2014-09-26 15:24rbonichonStatusnew => assigned
2014-09-26 15:24rbonichonAssigned To => correnson
2014-09-26 15:55corrensonRelationship addedduplicate of 0001832
2014-09-26 15:55corrensonNote Added: 0005486
2014-09-26 15:55corrensonStatusassigned => resolved
2014-09-26 15:55corrensonResolutionopen => fixed
2015-03-17 22:17signolesFixed in Version => Frama-C Sodium
2015-03-17 22:18signolesStatusresolved => closed

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