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

[Frama-c-discuss] Syntax Error although it is from the Mini-Tutorial ! ! !



You may have ended up with unicode chars in your source
code if you copied and pasted the example from the tutorial.
You can check whether this is the case by running cat -vet
on your source file. Any chars that are not plain ASCII will
show up is weird chars on your terminal after you run this
command.

Cheers

> 
> >> thx .. I did that but the same thing happens !
> 
> >> could it be because of on of the requierments is
> not as they should be
> >> ? but I did check that before or else I could not
> have installed
> >> frama-c in the first place !
> >> 
> >> mhh ..
> 
> 
> 
> On Mon, Jul 27, 2009 at 12:55 PM, Pascal
> Cuoq<Pascal.Cuoq at cea.fr> wrote:
> >>
> >> #include <stdio.h>
> >
> > There is little chance that this is the origin of the
> problem in this
> > case,
> > but it's a bad idea to rely on system headers, which
> can contain all
> > kinds of compiler-specific syntax and make your bug
> reports hard
> > to reproduce on other platforms than yours. I would
> remove this
> > line (especially the function max_seq does not use
> it).
> >
> > Pascal
> >
> >
> > _______________________________________________
> > 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
> >
> 
> 
> 
> ? ? ?
> __________________________________________________________________
> Looking for the perfect gift? Give the gift of Flickr! 
> 
> http://www.flickr.com/gift/
> 


      __________________________________________________________________
Looking for the perfect gift? Give the gift of Flickr! 

http://www.flickr.com/gift/