--- layout: fc_discuss_archives title: Message 84 from Frama-C-discuss on October 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problems with Nitrogen/Fluorine



Hello,

2013/10/23 Alessio Iotti <alle.iot at gmail.com>:
> Thanks for the response, but i have another question.
> On my computer WP can't prove neither with Nitrogen version nor with
> Fluorine version.
> This could be due to my computer configuration in particular?

Which prover(s) are you using? On my machine (with Fluorine-20130601),
alt-ergo (0.95.2) and z3 (4.3.1) are able to discharge everything, but
simplify (1.5.4) and cvc3 (2.4.1) aren't.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile