--- layout: fc_discuss_archives title: Message 63 from Frama-C-discuss on October 2008 ---
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