--- layout: fc_discuss_archives title: Message 38 from Frama-C-discuss on September 2009 ---
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