--- layout: fc_discuss_archives title: Message 112 from Frama-C-discuss on October 2008 ---
Hello, Le lun 20 oct 2008 15:21:43 CEST, <jean-baptiste.jeannin@hispano-suiza-sa.com> a ?crit : > Some JavaDoc-like documentation tools can badly interfere with Frama-C by > also requiring special comments beginning by /*@ or //@. For example, the > Do you have any idea of how to go around this problem? Are the /*@ and //@ > syntaxes, which were already used by JML, supposed to somehow be In the current version of Frama-C (and in the forthcoming release), the only way to overcome this issue is to disable annotation processing entirely (with the -no-annot option). The '@' sign was indeed chosen to introduce ACSL annotation because it was already used by JML (while javadoc and doxygen use '*' for structured documentation). Best regards, -- E tutto per oggi, a la prossima volta. Virgile