--- layout: fc_discuss_archives title: Message 65 from Frama-C-discuss on December 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] prover timeout does not work(Jessie)



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
> 
> 
> 
>