--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on January 2009 ---
Dear Christoph, messages that contain the words "Uncaught exception" are never proper messages from Frama-C. Please report such a behavior to the Bug Tracking System anytime you encounter one. This may be frustrating because it sometimes appear that the bugs are handled with less timeliness when they are in the BTS than when they are reported on this list. But in fact, it is precisely because we do not always have time to handle bugs immediately, that they should be listed in a system where they are not forgotten. If they are in the BTS rather than in the mailing list, they will be handled eventually. If they are only on this list, the person who should handle them may fail to see them. Pascal -------------- section suivante -------------- Une pi?ce jointe HTML a ?t? enlev?e... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090107/1a26eae1/attachment-0001.htm