Frama-C Bug Tracking System - Frama-C
View Issue Details
0000049Frama-CPlug-in > jessiepublic2009-04-11 16:372009-06-23 18:03
dpariente 
cmarche 
normalmajoralways
closedfixed 
 
Frama-C Beryllium-20090601-beta1 
0000049: Jessie/Gwhy: cpulimit-win.c
Hello, The release of cpulimit-win.c currently distributed is not the good one but an old one: it does not take into account exit code from process. A second version was forwarded by email (on 12/07/08) correcting this bug. Please find it enclosed! Best regards, Dillon
No tags attached.
c cpulimit-win.c (2,746) 2009-04-11 16:37
https://bts.frama-c.com/file_download.php?file_id=3&type=bug
Issue History
2009-04-11 16:37dparienteNew Issue
2009-04-11 16:37dparienteFile Added: cpulimit-win.c
2009-04-17 17:53signolesStatusnew => assigned
2009-04-17 17:53signolesAssigned To => cmarche
2009-05-22 16:02cmarcheNote Added: 0000088
2009-05-22 16:02cmarcheStatusassigned => resolved
2009-05-22 16:02cmarcheResolutionopen => fixed
2009-06-23 18:02signolesStatusresolved => closed
2009-06-23 18:03signolesFixed in Version => Frama-C Beryllium beta-1

Notes
(0000088)
cmarche   
2009-05-22 16:02   
fixed in why