--- layout: fc_discuss_archives title: Message 68 from Frama-C-discuss on May 2009 ---
Point 3.) of my precious email is irrelevant (as there is no limit called UCHAR_MIN in the standard) Jens Am 24.05.2009 um 20:49 schrieb Jens Gerlach: > > > 3.) The line //@ assert i >= UCHAR_MIN; is not recognised at all. > > > Regards Jens, Berlin > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss -- Dr.-Ing. Jens Gerlach Eingebettete Systeme - EST Tel.: +49 (0)30 6392 1841 Fax.: +49 (0)30 6392 1805 E-Mail: jens.gerlach at first.fraunhofer.de Fraunhofer-Institut f?r Rechnerarchitektur und Softwaretechnik, FIRST Kekul?stra?e 7 12489 Berlin Germany http://www.first.fraunhofer.de -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090524/6e2370df/attachment.htm