--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on September 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Assignments proof



Hello,

2013/9/3 Rovedy Aparecida Busquim e Silva <rovedy at ig.com.br>:
> We are using the Carbon version.

Your Inic2 contract is fully proved by WP with Frama-C Fluorine (June)
and Alt-Ergo 0.95.1. You'd better upgrade your Frama-C version.

Best regards,
david