--- layout: fc_discuss_archives title: Message 65 from Frama-C-discuss on December 2008 ---
Hello Benjamin, Yes, it does compile with -mno-cygwin (so it is supposed to be MinGW32 compliant, ... or not Cygwin specific!). But, honestly, not tested under MinGW, yet! Cheers, Dillon PARIENTE > -----Message d'origine----- > De : MONATE Benjamin 205998 [mailto:Benjamin.MONATE at cea.fr] > Envoy? : jeudi 18 d?cembre 2008 10:37 > ? : dillon.pariente at dassault-aviation.fr > Cc : frama-c-discuss at lists.gforge.inria.fr > Objet : RE : [Frama-c-discuss] prover timeout does not work(Jessie) > > Hi, > > Does you cpulimit.c work when compiled with "-mno-cygwin' option ? > > Cheers, > Benjamin Monate > > > > -------- Message d'origine-------- > De: frama-c-discuss-bounces at lists.gforge.inria.fr de la part > de Pariente Dillon > Date: jeu. 18/12/2008 09:16 > ?: Christoph Weber > Cc: frama-c-discuss at lists.gforge.inria.fr > Objet : Re: [Frama-c-discuss] prover timeout does not work(Jessie) > > Hi, > > I faced the same problem. I did the enclosed cpulimit.c file > (whose executable should replace the existing bin\why-cpulimit.exe). > It works fine under Cygwin/XP! > > HTH > Dillon PARIENTE > > > ________________________________ > > De : frama-c-discuss-bounces at lists.gforge.inria.fr > [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] De la > part de Christoph Weber > Envoy? : jeudi 18 d?cembre 2008 08:42 > ? : frama-c-discuss at lists.gforge.inria.fr > Objet : [Frama-c-discuss] prover timeout does not work(Jessie) > > > Hello, > I am using the latest release or Windows, > > I want to mention, that the timeout does not work and > the solvers (except ergo) take as much ram as they can > gobble, almost disabling my system. I have to abort the > solvers manually > > Cheers Christoph > > > >