--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on October 2014 ---
2014-10-23 13:28 GMT+02:00 George Lee <georgeleeliangwei at gmail.com>: > > Thank you for the suggestion. I tried using -wp-init-const but I think there > is no such option..at least for Neon version. Which version of Frama-C > provides such option? Perhaps I can switch to that version to give it a try. > Indeed, I forgot that it has been introduced in the not-yet-released development version of Frama-C. I'm afraid that Neon can't handle that, then. Best regards, -- E tutto per oggi, a la prossima volta Virgile