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

[Frama-c-discuss] Unable to prove the example code in ACSL documentation



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