--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on August 2014 ---
On 09/08/2014 12:37, Maria Christofi wrote: > Oups.. Right question for wrong code. Sorry about it. > Here is the right one (with no assigns clause). > Could you please give me some indications about the right assigns clause > for this function? @ assigns a[0..1]; Best regards, Guillaume