--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on November 2011 ---
Hi, When wp plugin is loaded in program to prove some properties, frama-c raised an error: [wp] user error: command 'why-dp' failed. and the description is: [wp] [Cvc3] Goal runtime_equal_loop_inv_146_preserved : Valid [wp] user error: command 'why-dp' failed. why-dp -smt-solver cvc3 -batch /tmp/wp33b87e.dir/runtime_equal_loop_inv_146_established_po_why.smt [wp] [Cvc3] Goal runtime_equal_loop_inv_146_established : Unknown Is that because of it has forked too many threads(4?) or the memory or CPU is not enough? Best Regards to You. Henry -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111112/a05ed71d/attachment.htm>