--- layout: fc_discuss_archives title: Message 82 from Frama-C-discuss on March 2009 ---
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?