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

[Frama-c-discuss] Jessie et alarme du plgin value



Salut Yannick,

Je cherche ? encha?ner une analyse de valeur et un coup de jessie.
Dans ce cas je dois d?sactiver les behavior de safety g?n?r?s par Jessie.
Du coup j'utilise -jessie-behavior default.
Mais les assert de type IA (sans behaviors) sont class?es dans safety et pas default. C'est volontaire ?
Le cas ?ch?ant, je propose de les mettre dans le default behavior.
J'ai un patch pr?t si tu es ok.

Benjamin Monate