--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on May 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] E-ACSL and Frama-C Sodium



Hello,

In Frama-C Sodium, is E-ACSL plug-in included or should it be compiled 
separately? If separately, can version 0.4.1 used with Frama-C Sodium?

I plan to make some demo of E-ACSL. ;-)

Best regards,
david