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

[Frama-c-discuss] using different versions of z3



Hello,

I would like to thank you for your answers on my previous questions.

As I am trying to adapt examples to the new features of Frama-c, I have
discovered that the smt-solver z3 has been updated as well.

Unfortunatly, the results of z3 v1.3 and z3 v2.1 differ a lot. Since I do
not know what internal changes may cause this difference, I would like to
run both z3 versions simultaneously.

I would like to have a description, on how to recognize both with
why-config.


Sincerely

Christoph
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/ms-tnef
Size: 2732 bytes
Desc: not available
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090916/b6763982/attachment.bin