Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000049Frama-CPlug-in > jessiepublic2009-04-11 16:372009-06-23 18:03
Reporterdpariente 
Assigned Tocmarche 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in VersionFrama-C Beryllium-20090601-beta1 
Summary0000049: Jessie/Gwhy: cpulimit-win.c
DescriptionHello,

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
TagsNo tags attached.
Attached Filesc file icon cpulimit-win.c [^] (2,746 bytes) 2009-04-11 16:37 [Show Content]

- Relationships

-  Notes
(0000088)
cmarche (developer)
2009-05-22 16:02

fixed in why

- Issue History
Date Modified Username Field Change
2009-04-11 16:37 dpariente New Issue
2009-04-11 16:37 dpariente File Added: cpulimit-win.c
2009-04-17 17:53 signoles Status new => assigned
2009-04-17 17:53 signoles Assigned To => cmarche
2009-05-22 16:02 cmarche Note Added: 0000088
2009-05-22 16:02 cmarche Status assigned => resolved
2009-05-22 16:02 cmarche Resolution open => fixed
2009-06-23 18:02 signoles Status resolved => closed
2009-06-23 18:03 signoles Fixed in Version => Frama-C Beryllium beta-1


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker