Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] fool the tool

  • Subject: [Frama-c-discuss] fool the tool
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
  • Date: Wed, 7 Jan 2009 10:18:48 +0100
  • In-reply-to: <2FC9E2795B7746B5A13A04BB8D89F5A4@AHARDPLACE>
  • References: <2FC9E2795B7746B5A13A04BB8D89F5A4@AHARDPLACE>
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