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

[Frama-c-discuss] [Jessie] Problem with simple search programm



Hello Hollas,

Regarding the problem of code highlighting under GWhy, this is *probably* due - under Cygwin - to CR/LF DOS' ending lines.
By dos2unix-ing your source files, this should be OK!

Regards,
Dillon PARIENTE

> -----Message d'origine-----
> De : frama-c-discuss-bounces at lists.gforge.inria.fr 
> [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] De la 
> part de David MENTRE
> Envoy? : mercredi 25 mars 2009 17:45
> ? : Frama-C public discussion
> Objet : Re: [Frama-c-discuss] [Jessie] Problem with simple 
> search programm
> 
> Hello Hollas,
> 
> I'm just another Frama-C user, so my reply is not authoritative.
> 
> On Wed, Mar 25, 2009 at 15:56, Hollas Boris (CR/AEY1) 
> <Boris.Hollas at de.bosch.com> wrote:
> > Running Simplify results in two ? signs:
> >
> > - when I click on the first "?" labeled "postcondition", 
> the following code is highlighted:
> >
> > insVal(int a[], int aLength, int val) {
> > ?int i = 0;
> >
> > ?//@ loop in
> >
> > ?I don't understand what that means. Is this a bug in 
> gWhy's highlighting?