--- layout: fc_discuss_archives title: Message 64 from Frama-C-discuss on October 2008 ---
Par contre assert for default: ... fait des erreurs de syntaxe dans un .jc C'est interdit d'?crire ?a ? Benjamin Monate