--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on April 2012 ---
> Furthermore, I haven't asked privately or whatever, but on a public > mailing list so that the answer may be archived and profitable to > others in the future; This argument would work better if it did not come from someone who makes phone calls and sends private e-mail to developers to ask questions about the Open Source software he has downloaded. Feel free to unsubscribe the mailing list if the quality of answers does not meet your expectations. Pascal