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

[Frama-c-discuss] questions about value analysis




> http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:start#using_the_bts

I forgot to mention that bug reports may be flagged
as "private" in the BTS, meaning only the ten or so Frama-C
developers will be able to see them, and that having a
maintenance contract allows your bug reports to
have the coveted "industrial" flag, in addition to
allowing you to e-mail more sensitive cases to a single
known person.

Pascal