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

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



Par contre 
assert for default: ...
fait des erreurs de syntaxe dans un .jc
C'est interdit d'?crire ?a ?

Benjamin Monate