--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on January 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] fool the tool



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