--- layout: fc_discuss_archives title: Message 80 from Frama-C-discuss on June 2009 ---
Hello, Disclaimer: I'm not a Frama-C developper. On Wed, Jun 24, 2009 at 11:41, Hollas Boris (CR/AEY1)<Boris.Hollas at de.bosch.com> wrote: > Can Jessie be instructed to use a symbol other than @ to introduce annotations? No as far as I know. Two solutions: 1. Unix approach. Use another annotation character ("/*a", "a*/") and make your own cpp script that replaces all the /*a into /*@ before calling the real cpp. Use frama-c command line option (-cpp-command) to call this specific cpp as preprocessor; 2. Free software approach. Modify Frama-C source code to use another character. That should not be difficult once the code location is known, unfortunately I have not been able to find it after a quick glance. Yours, david