--- layout: fc_discuss_archives title: Message 65 from Frama-C-discuss on April 2013 ---
Thanks! Z3 now seems to be working just fine. There have been several patches in this thread, are they going to be included in the public release (located on the website)? -- Cumprimentos, Cristiano Sousa -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130424/30046ead/attachment.html>