--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on January 2014 ---
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