--- layout: fc_discuss_archives title: Message 81 from Frama-C-discuss on June 2009 ---
Hallo, I also tried with yices 1.0.21, I got the same error. It gets stuck with the "standard" why-cpulimit and its rushing through the PO's (only yices and cvc3) returning the tool signs (failure) with the new compiled why-cpulimit. The strange thing is, that it does work on another computer with windows vista os. Do you have any idea what could help me to get rid of this problem? Thanks in advance, Kerstin > sorry, I forgot to tell: > it's yices 1.0.15 and cvc3 1.5 > Kerstin >> This has to do with versions of Yices and CVC3, what are they ? -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/ms-tnef Size: 3127 bytes Desc: not available Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090624/6d689b6b/attachment.bin