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] Syntax Error although it is from the Mini-Tutorial ! ! !

  • Subject: [Frama-c-discuss] Syntax Error although it is from the Mini-Tutorial ! ! !
  • From: hxdg21 at yahoo.com (Aaron Rocha)
  • Date: Wed, 2 Sep 2009 11:28:08 -0700 (PDT)
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/