--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on April 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Assigns broken for arrays?



Hello Boris,

On Wed, Apr 1, 2009 at 15:53, Hollas Boris (CR/AEY1)
<Boris.Hollas at de.bosch.com> wrote:
> I suppose that "assigns" is broken for arrays.

I have open a bug:
 [#7560] Inability to prove assigns clauses on simple array code
 https://gforge.inria.fr/tracker/index.php?func=detail&aid=7560&group_id=1123&atid=5488

Yours,
d.