--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on April 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [Value analysis] Validating a function with behavior spec.



> 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