--- layout: fc_discuss_archives title: Message 71 from Frama-C-discuss on June 2009 ---
Hello, is it possible to get the latest version of why-cpulimit ? I have the problem that yices and cvc3 can't prove anything since exchanging the why-cpulimit.exe with the one I took from this discussion list. I tried to copy a working system (cygwin and frama-c) from a Windows Vista-system to a XP-system. With the old why-cpulimit the provers dont terminate, with the new one yices and cvc3 cant prove anything (results are only failures). Maybe someone can help? Regards, Kerstin