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

[Frama-c-discuss] Queries regarding WP plugin



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