--- layout: fc_discuss_archives title: Message 59 from Frama-C-discuss on February 2011 ---
Le ven. 18 f?vr. 2011 13:40:17 CET, Julien Signoles <Julien.Signoles at cea.fr> a ?crit : > > As Pascal explains, that is not a bug, but an unimplemented feature. You > can post a feature request on the BTS (bts.frama-c.com). As a matter of fact, this is already the case. http://bts.frama-c.com/view.php?id=387 -- E tutto per oggi, a la prossima volta. Virgile