--- layout: fc_discuss_archives title: Message 59 from Frama-C-discuss on February 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Type of ghost variables



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