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

[Frama-c-discuss] (no subject)



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