---
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
- Subject: [Frama-c-discuss] Assign clauses with ghost variables
- From: dmentre at linux-france.org (David MENTRÉ)
- Date: Sun, 31 May 2015 18:49:27 +0200
- In-reply-to: <CA+yPOVhUwnZLdKMb6dPNZTFmamcACU=ydVMCSnbRr9g3cA4tRw@mail.gmail.com>
- References: <mailman.23.1432720812.15570.frama-c-discuss@lists.gforge.inria.fr> <alpine.LNX.2.03.1505280924340.1421@dordowsky.de> <5566C92C.1060105@linux-france.org> <CA+yPOVhUwnZLdKMb6dPNZTFmamcACU=ydVMCSnbRr9g3cA4tRw@mail.gmail.com>
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