--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on December 2014 ---
Hello, Le 15/12/2014 08:55, David MENTRE a ?crit : > You should use -wp-qed-checks but it seems to be broken in WP 0.8 > (generation of truncated Alt-Ergo files). Submitted as BTS bug 2031: https://bts.frama-c.com/view.php?id=2031 BTW, on frama-c.com website, URL http://bts.frama-c.com (used in http://frama-c.com/support.html page) does not work. Only its HTTPS version does. Best regards, david