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

[Frama-c-discuss] Precondition for user call (newbye question)



Hello Paolo,

On Fri, Jun 5, 2009 at 11:33, Paolo Bashir Argenton<bashir1961 at gmail.com> wrote:
> ? ? ? ? ? ? ? ?/*@ assert \valid(s+i) */

If this really your code you have forgotten a semicolon (";") at the
end of the statement. It should be:
  /*@ assert \valid(s+i); */

Yours,
d.