--- layout: fc_discuss_archives title: Message 21 from Frama-C-discuss on October 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Plugins in next Frama-C?



On Wed, 2010-10-06 at 12:37 -0700, Pascal Cuoq wrote:
> There will be a new weakest precondition plug-in alongside Jessie,
> with different strengths and weaknesses. It will of course make use of
> the same ACSL contracts.

How does this wp-plugin differ from Jessie?
-- 
Regards,
Boris