--- layout: fc_discuss_archives title: Message 93 from Frama-C-discuss on June 2009 ---
On Jun 26, 2009, at 8:05 AM, Ulisses Ara?jo Costa wrote: > I think this is a pertinent question that would possibly help more > people. Thanks for sharing your opinion. You are maybe making the mistake of assuming that there is some kind of 48h-support for Frama-C. There isn't. If an example from the manual does not work, it's very likely to be a bug. To make sure it is handled as such, report it as such. See also http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-January/000331.html The address for the Bug Tracking System is: http://bts.frama-c.com/ Some Frama-C developers are researchers for whom implementation is only a secondary duty in addition to their teaching and research obligations. They made their implementation available. They did not commit to provide hotline-style support for it. See also: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2008-November/000780.html Pascal