--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on May 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Assign clauses with ghost variables



Hello Virgile,

Le 2015-05-28 17:51, Virgile Prevosto a ?crit :
> I don't have any really satisfying solution for now, but the
> following work:
[...]
> In the mean time, Patrick's solution seems a more sensible
> workaround.

Thanks for the tip, as well as Patrick's one.

Best regards,
david