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

[Frama-c-discuss] Frama-c: WP issues



Hello,

Le 15/01/2014 17:35, Dharmalingam Ganesan a ?crit :
> According to a developer of alt-ergo (0.95), he thinks this behavior
> is valid for Oxygen (after he fixes syntax errors in the generated
> why/mlw code). This behavior is reported as unknown for the newest
> version Fluorine.

You should always use the latest version (currently Fluorine).

Have you applied my suggestion (adding asserts)? We cannot help you much 
without the code.

BTW, frama-c provides a C code obfuscator, it might be sufficient for 
you to provide the code.

Best regards,
david