Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] problems with recognition of the variant

  • Subject: [Frama-c-discuss] problems with recognition of the variant
  • From: alessio.bortolotti at (ALESSIO BORTOLOTTI)
  • Date: Thu, 20 Nov 2014 09:03:53 -0800

Dear all,

While I was trying to prove a while loop containing shifts, I ran into a
problem: the program couldn't recognize the variable on which I have done
the shift as a variant.

Therefore, attached to this mail, I'm going to send you an example of what
I've meant before.

Best regards,

Alessio Bortolotti
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: testVariant.c
Type: text/x-csrc
Size: 139 bytes
Desc: not available
URL: <>